Re: [patch, -rc5-mm1] locking validator: special rule: 8390.c disable_irq()
- From: Arjan van de Ven <arjan@xxxxxxxxxxxxx>
- Date: Wed, 31 May 2006 22:31:40 +0200
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/
- Follow-Ups:
- References:
- [patch, -rc5-mm1] locking validator: special rule: 8390.c disable_irq()
- From: Ingo Molnar
- [patch, -rc5-mm1] locking validator: special rule: 8390.c disable_irq()
- Prev by Date: Re: [patch, -rc5-mm1] locking validator: special rule: 3c59x.c disable_irq()
- Next by Date: Re: OpenGL-based framebuffer concepts
- Previous by thread: [patch, -rc5-mm1] locking validator: special rule: 8390.c disable_irq()
- Next by thread: Re: [patch, -rc5-mm1] locking validator: special rule: 8390.c disable_irq()
- Index(es):
Relevant Pages
|
|
