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

Offer the following lock validation options:

 CONFIG_PROVE_LOCKING

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

..

reed_solomon

…

zlib_deflate

…

zlib_inflate

…

.gitignore

…

bitmap.c

…

bust_spinlocks.c

…

cmdline.c

…

cpumask.c

…

crc16.c

…

crc32.c

…

crc32defs.h

…

crc-ccitt.c

…

ctype.c

…

debug_locks.c

…

dec_and_lock.c

…

div64.c

…

dump_stack.c

…

errno.c

…

extable.c

…

find_next_bit.c

…

gen_crc32table.c

…

genalloc.c

…

halfmd4.c

…

hweight.c

…

idr.c

…

inflate.c

…

int_sqrt.c

…

iomap_copy.c

…

iomap.c

…

Kconfig

…

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

…

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

…

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

…

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

…

ts_bm.c

…

ts_fsm.c

…

ts_kmp.c

…

vsprintf.c

…