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 | |
parent | 933a2efc59513551dcfa7b814752dc581bd3c60b (diff) |
[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')
0 files changed, 0 insertions, 0 deletions