Re: [patch, -rc5-mm1] locking validator: special rule: 8390.c disable_irq()

On Wed, 2006-05-31 at 22:02 +0200, Ingo Molnar wrote:
untested on 8390 hardware, but ought to solve the lockdep false
positive.

-----------------
Subject: locking validator: special rule: 8390.c disable_irq()
From: Ingo Molnar <mingo@xxxxxxx>

8390.c knows that ei_local->page_lock can only be used by an irq
context that it disabled -

btw I think this is no longer correct with the irq polling stuff Alan
added to the kernel recently...

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/

Relevant Pages

  • Re: Kennedy, truth at last
    ... >> (How old is Ian Paisley, BTW?) ... And Alan Hope is 63. ... The dossier contains ...
    (uk.politics.electoral)
  • Re: rAPE seed oil
    ... LOL! ... Bored today, Alan? ... He said he couldn't see anything with the word 'rape' in it. ... BTW, ...
    (rec.food.cooking)
  • Re: Booklet formatting
    ... BTW, I am using Word/Office 2003 ... > I've written a document in word and want to format and print so the end ...
    (microsoft.public.word.newusers)
  • Re: fun with the cassette ports
    ... Are these in the Asimov collection? ... Kaleidoscope; http://bob-bishop.awardspace.com/Apple-II/Kaleidos/index.html ... BTW, Alan, did you once work at the southside Westworld in Edmonton ...
    (comp.sys.apple2)
  • Re: Simple question on Pointers
    ... about FORTRAN or something. ... BTW, did you get the point that aare not separate variables? ... Doug Harrison ...
    (microsoft.public.vc.language)