diff options
| author | Ingo Molnar <mingo@elte.hu> | 2006-07-03 00:25:23 -0700 |
|---|---|---|
| committer | Linus Torvalds <torvalds@g5.osdl.org> | 2006-07-03 15:27:09 -0700 |
| commit | e745165c6d235c03e9fa0e57984ca6fd3d3b2c50 (patch) | |
| tree | 29f859b398109d82c018d9c4ed2d9565d8c58cf9 /arch/x86_64/kernel/nmi.c | |
| parent | 933a2efc59513551dcfa7b814752dc581bd3c60b (diff) | |
| download | op-kernel-dev-e745165c6d235c03e9fa0e57984ca6fd3d3b2c50.zip op-kernel-dev-e745165c6d235c03e9fa0e57984ca6fd3d3b2c50.tar.gz | |
[PATCH] lockdep: annotate 8390.c disable_irq()
8390.c knows that ei_local->page_lock can only be used by an irq context that
it disabled - and can hence take the ->page_lock without disabling hardirqs.
Teach lockdep about this.
Has no effect on non-lockdep kernels.
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Cc: Arjan van de Ven <arjan@linux.intel.com>
Cc: Jeff Garzik <jeff@garzik.org>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
Diffstat (limited to 'arch/x86_64/kernel/nmi.c')
0 files changed, 0 insertions, 0 deletions
