Ingo Molnar 4d9f34ad36 [PATCH] lockdep: kconfig ...

Offer the following lock validation options:

 CONFIG_PROVE_LOCKING

Signed-off-by: Ingo Molnar <[email protected]>
Signed-off-by: Arjan van de Ven <[email protected]>
Signed-off-by: Andrew Morton <[email protected]>
Signed-off-by: Linus Torvalds <[email protected]>

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

..

reed_solomon

[PATCH] reed-solomon: fix kernel-doc comments

2006-06-25 10:01:23 -07:00

zlib_deflate

…

zlib_inflate

[PATCH] zlib inflate: fix function definitions

2006-06-27 17:32:35 -07:00

.gitignore

…

bitmap.c

…

bust_spinlocks.c

Remove obsolete #include <linux/config.h>

2006-06-30 19:25:36 +02:00

cmdline.c

…

cpumask.c

…

crc16.c

…

crc32.c

…

crc32defs.h

…

crc-ccitt.c

…

ctype.c

…

debug_locks.c

[PATCH] lockdep: better lock debugging

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

dec_and_lock.c

…

div64.c

…

dump_stack.c

…

errno.c

…

extable.c

Remove obsolete #include <linux/config.h>

2006-06-30 19:25:36 +02:00

find_next_bit.c

…

gen_crc32table.c

…

genalloc.c

…

halfmd4.c

…

hweight.c

…

idr.c

[PATCH] lib: add idr_replace

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

inflate.c

…

int_sqrt.c

…

iomap_copy.c

…

iomap.c

…

Kconfig

[PATCH] pi-futex: add plist implementation

2006-06-27 17:32:46 -07:00

Kconfig.debug

[PATCH] lockdep: kconfig

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

kernel_lock.c

[PATCH] lockdep: prove spinlock rwlock locking correctness

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

klist.c

…

kobject_uevent.c

KEVENT: add new uevent for dock

2006-06-27 01:24:15 -04:00

kobject.c

…

kref.c

…

libcrc32c.c

…

locking-selftest-hardirq.h

[PATCH] lockdep: locking API self tests

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

locking-selftest-mutex.h

[PATCH] lockdep: locking API self tests

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

locking-selftest-rlock-hardirq.h

[PATCH] lockdep: locking API self tests

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

locking-selftest-rlock-softirq.h

[PATCH] lockdep: locking API self tests

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

locking-selftest-rlock.h

[PATCH] lockdep: locking API self tests

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

locking-selftest-rsem.h

[PATCH] lockdep: locking API self tests

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

locking-selftest-softirq.h

[PATCH] lockdep: locking API self tests

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

locking-selftest-spin-hardirq.h

[PATCH] lockdep: locking API self tests

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

locking-selftest-spin-softirq.h

[PATCH] lockdep: locking API self tests

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

locking-selftest-spin.h

[PATCH] lockdep: locking API self tests

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

locking-selftest-wlock-hardirq.h

[PATCH] lockdep: locking API self tests

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

locking-selftest-wlock-softirq.h

[PATCH] lockdep: locking API self tests

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

locking-selftest-wlock.h

[PATCH] lockdep: locking API self tests

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

locking-selftest-wsem.h

[PATCH] lockdep: locking API self tests

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

locking-selftest.c

[PATCH] lockdep: allow read_lock() recursion of same class

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

Makefile

[PATCH] lockdep: locking API self tests

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

parser.c

…

percpu_counter.c

…

plist.c

[PATCH] pi-futex: add plist implementation

2006-06-27 17:32:46 -07:00

prio_tree.c

…

radix-tree.c

…

rbtree.c

…

rwsem-spinlock.c

[PATCH] lockdep: prove rwsem locking correctness

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

rwsem.c

[PATCH] lockdep: prove rwsem locking correctness

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

semaphore-sleepers.c

Remove obsolete #include <linux/config.h>

2006-06-30 19:25:36 +02:00

sha1.c

…

smp_processor_id.c

…

sort.c

…

spinlock_debug.c

[PATCH] lockdep: prove spinlock rwlock locking correctness

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

string.c

…

swiotlb.c

…

textsearch.c

Remove obsolete #include <linux/config.h>

2006-06-30 19:25:36 +02:00

ts_bm.c

Remove obsolete #include <linux/config.h>

2006-06-30 19:25:36 +02:00

ts_fsm.c

Remove obsolete #include <linux/config.h>

2006-06-30 19:25:36 +02:00

ts_kmp.c

Remove obsolete #include <linux/config.h>

2006-06-30 19:25:36 +02:00

vsprintf.c

Fix vsnprintf off-by-one bug

2006-06-28 17:09:34 -07:00