commit | e745165c6d235c03e9fa0e57984ca6fd3d3b2c50 | [log] [tgz] |
---|---|---|
author | Ingo Molnar <mingo@elte.hu> | Mon Jul 03 00:25:23 2006 -0700 |
committer | Linus Torvalds <torvalds@g5.osdl.org> | Mon Jul 03 15:27:09 2006 -0700 |
tree | 29f859b398109d82c018d9c4ed2d9565d8c58cf9 | |
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>