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

Pull acpica into release branch

2006-06-29 19:55:27 -04:00

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

[PATCH] uml: make copy_*_user atomic

2006-07-01 09:56:03 -07:00

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

[PATCH] keys: discard the contents of a key on revocation

2006-06-26 09:58:18 -07:00

linux

[PATCH] lockdep: prove mutex locking correctness

2006-07-03 15:27:04 -07:00

math-emu

…

media

V4L/DVB (4270): Add tda9887-specific tuner configuration

2006-06-30 15:59:32 -03:00

mtd

Merge git://git.infradead.org/hdrcleanup-2.6

2006-06-20 15:10:08 -07:00

net

[PATCH] irq-flags: drivers/net: Use the new IRQF_ constants

2006-07-02 13:58:51 -07:00

pcmcia

Don't include linux/config.h from anywhere else in include/

2006-04-26 12:56:16 +01:00

rdma

IB/uverbs: Don't serialize with ib_uverbs_idr_mutex

2006-06-17 20:44:49 -07:00

rxrpc

…

scsi

Merge branch 'master' into upstream

2006-06-22 22:11:56 -04:00

sound

[PATCH] irq-flags: sound: Use the new IRQF_ constants

2006-07-02 13:58:54 -07:00

video

Don't include linux/config.h from anywhere else in include/

2006-04-26 12:56:16 +01:00