diff options
author | Ingo Molnar <mingo@elte.hu> | 2006-07-03 03:24:55 -0400 |
---|---|---|
committer | Linus Torvalds <torvalds@g5.osdl.org> | 2006-07-03 18:27:04 -0400 |
commit | ef5d4707b9065c0cf8a69fa3716893f3b75201ba (patch) | |
tree | 9ec92f31356bf404486c1b26df9fa40bd784f983 /kernel/mutex.h | |
parent | 8a25d5debff2daee280e83e09d8c25d67c26a972 (diff) |
[PATCH] lockdep: prove mutex locking correctness
Use the lock validator framework to prove mutex locking correctness.
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Arjan van de Ven <arjan@linux.intel.com>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
Diffstat (limited to 'kernel/mutex.h')
-rw-r--r-- | kernel/mutex.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/mutex.h b/kernel/mutex.h index aeb2d916aa0e..a075dafbb290 100644 --- a/kernel/mutex.h +++ b/kernel/mutex.h | |||
@@ -22,7 +22,7 @@ | |||
22 | #define debug_mutex_free_waiter(waiter) do { } while (0) | 22 | #define debug_mutex_free_waiter(waiter) do { } while (0) |
23 | #define debug_mutex_add_waiter(lock, waiter, ti) do { } while (0) | 23 | #define debug_mutex_add_waiter(lock, waiter, ti) do { } while (0) |
24 | #define debug_mutex_unlock(lock) do { } while (0) | 24 | #define debug_mutex_unlock(lock) do { } while (0) |
25 | #define debug_mutex_init(lock, name) do { } while (0) | 25 | #define debug_mutex_init(lock, name, key) do { } while (0) |
26 | 26 | ||
27 | static inline void | 27 | static inline void |
28 | debug_mutex_lock_common(struct mutex *lock, struct mutex_waiter *waiter) | 28 | debug_mutex_lock_common(struct mutex *lock, struct mutex_waiter *waiter) |