diff options
| author | Ingo Molnar <[email protected]> | 2006-07-03 00:25:23 -0700 |
|---|---|---|
| committer | Linus Torvalds <[email protected]> | 2006-07-03 15:27:09 -0700 |
| commit | e745165c6d235c03e9fa0e57984ca6fd3d3b2c50 (patch) | |
| tree | 29f859b398109d82c018d9c4ed2d9565d8c58cf9 /scripts/patch-kernel | |
| 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 <[email protected]>
Cc: Arjan van de Ven <[email protected]>
Cc: Jeff Garzik <[email protected]>
Signed-off-by: Andrew Morton <[email protected]>
Signed-off-by: Linus Torvalds <[email protected]>
Diffstat (limited to 'scripts/patch-kernel')
0 files changed, 0 insertions, 0 deletions