kernel-ark/include
Ingo Molnar ef5d4707b9 [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>
2006-07-03 15:27:04 -07:00
..
acpi
asm-alpha [PATCH] lockdep: remove RWSEM_DEBUG remnants 2006-07-03 15:27:01 -07:00
asm-arm [PATCH] ARM: fixup irqflags breakage after ARM genirq merge 2006-07-02 17:29:22 -07:00
asm-arm26 [PATCH] irq-flags: ARM26: Use the new IRQF_ constants 2006-07-02 13:58:46 -07:00
asm-cris [PATCH] irq-flags: CRIS: Use the new IRQF_ constants 2006-07-02 13:58:46 -07:00
asm-frv [PATCH] irq-flags: FRV: Use the new IRQF_ constants 2006-07-02 13:58:46 -07:00
asm-generic [PATCH] lockdep: better lock debugging 2006-07-03 15:27:01 -07:00
asm-h8300 [PATCH] irq-flags: H8300: Use the new IRQF_ constants 2006-07-02 13:58:47 -07:00
asm-i386 [PATCH] lockdep: prove spinlock rwlock locking correctness 2006-07-03 15:27:04 -07:00
asm-ia64 [PATCH] lockdep: remove RWSEM_DEBUG remnants 2006-07-03 15:27:01 -07:00
asm-m32r [PATCH] irq-flags: M32R: Use the new IRQF_ constants 2006-07-02 13:58:47 -07:00
asm-m68k [PATCH] irq-flags: M68K: Use the new IRQF_ constants 2006-07-02 13:58:47 -07:00
asm-m68knommu [PATCH] irq-flags: M68KNOMMU: Use the new IRQF_ constants 2006-07-02 13:58:47 -07:00
asm-mips [PATCH] irq-flags: MIPS: Use the new IRQF_ constants 2006-07-02 13:58:47 -07:00
asm-parisc [PATCH] irq-flags: PARISC: Use the new IRQF_ constants 2006-07-02 13:58:47 -07:00
asm-powerpc [PATCH] lockdep: irqtrace subsystem, core 2006-07-03 15:27:03 -07:00
asm-ppc [PATCH] irq-flags: PPC: Use the new IRQF_ constants 2006-07-02 13:58:48 -07:00
asm-s390 [PATCH] lockdep: prove rwsem locking correctness 2006-07-03 15:27:04 -07:00
asm-sh [PATCH] lockdep: remove RWSEM_DEBUG remnants 2006-07-03 15:27:01 -07:00
asm-sh64 [PATCH] irq-flags: SH64: Use the new IRQF_ constants 2006-07-02 13:58:48 -07:00
asm-sparc [PATCH] irq-flags: SPARC: Use the new IRQF_ constants 2006-07-02 13:58:48 -07:00
asm-sparc64 [PATCH] lockdep: add per_cpu_offset() 2006-07-03 15:27:00 -07:00
asm-um
asm-v850 [PATCH] irq-flags: V850: Use the new IRQF_ constants 2006-07-02 13:58:48 -07:00
asm-x86_64 [PATCH] lockdep: irqtrace cleanup of include/asm-x86_64/irqflags.h 2006-07-03 15:27:03 -07:00
asm-xtensa [PATCH] lockdep: remove RWSEM_DEBUG remnants 2006-07-03 15:27:01 -07:00
keys
linux [PATCH] lockdep: prove mutex locking correctness 2006-07-03 15:27:04 -07:00
math-emu
media
mtd
net [PATCH] irq-flags: drivers/net: Use the new IRQF_ constants 2006-07-02 13:58:51 -07:00
pcmcia
rdma
rxrpc
scsi
sound [PATCH] irq-flags: sound: Use the new IRQF_ constants 2006-07-02 13:58:54 -07:00
video