Searched hist:"8 a25d5debff2daee280e83e09d8c25d67c26a972" (Results 1 – 7 of 7) sorted by relevance
| /linux/include/linux/ |
| H A D | spinlock_types_up.h | diff 8a25d5debff2daee280e83e09d8c25d67c26a972 Mon Jul 03 09:24:54 CEST 2006 Ingo Molnar <mingo@elte.hu> [PATCH] lockdep: prove spinlock rwlock locking correctness
Use the lock validator framework to prove spinlock and rwlock 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>
|
| H A D | spinlock_api_up.h | diff 8a25d5debff2daee280e83e09d8c25d67c26a972 Mon Jul 03 09:24:54 CEST 2006 Ingo Molnar <mingo@elte.hu> [PATCH] lockdep: prove spinlock rwlock locking correctness
Use the lock validator framework to prove spinlock and rwlock 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>
|
| H A D | spinlock_types.h | diff 8a25d5debff2daee280e83e09d8c25d67c26a972 Mon Jul 03 09:24:54 CEST 2006 Ingo Molnar <mingo@elte.hu> [PATCH] lockdep: prove spinlock rwlock locking correctness
Use the lock validator framework to prove spinlock and rwlock 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>
|
| H A D | spinlock_up.h | diff 8a25d5debff2daee280e83e09d8c25d67c26a972 Mon Jul 03 09:24:54 CEST 2006 Ingo Molnar <mingo@elte.hu> [PATCH] lockdep: prove spinlock rwlock locking correctness
Use the lock validator framework to prove spinlock and rwlock 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>
|
| H A D | spinlock_api_smp.h | diff 8a25d5debff2daee280e83e09d8c25d67c26a972 Mon Jul 03 09:24:54 CEST 2006 Ingo Molnar <mingo@elte.hu> [PATCH] lockdep: prove spinlock rwlock locking correctness
Use the lock validator framework to prove spinlock and rwlock 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>
|
| H A D | spinlock.h | diff 8a25d5debff2daee280e83e09d8c25d67c26a972 Mon Jul 03 09:24:54 CEST 2006 Ingo Molnar <mingo@elte.hu> [PATCH] lockdep: prove spinlock rwlock locking correctness
Use the lock validator framework to prove spinlock and rwlock 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>
|
| /linux/net/ipv4/ |
| H A D | route.c | diff 8a25d5debff2daee280e83e09d8c25d67c26a972 Mon Jul 03 09:24:54 CEST 2006 Ingo Molnar <mingo@elte.hu> [PATCH] lockdep: prove spinlock rwlock locking correctness
Use the lock validator framework to prove spinlock and rwlock 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>
|