Ingo Molnar 4ea2176dfa [PATCH] lockdep: prove rwsem locking correctness ...

Use the lock validator framework to prove rwsem 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

..

a.out.h

…

atomic.h

[PATCH] S390: fix implicit declaration of (un)likely.

2006-04-11 06:18:39 -07:00

auxvec.h

…

bitops.h

[S390] cleanup bitops.h.

2006-06-29 14:56:13 +02:00

bug.h

[PATCH] s390: BUG() warnings

2006-03-24 07:33:16 -08:00

bugs.h

…

byteorder.h

…

cache.h

[PATCH] s390: add read_mostly optimization

2006-04-28 08:33:48 -07:00

cacheflush.h

…

ccwdev.h

…

ccwgroup.h

…

checksum.h

…

cio.h

[S390] cio async subchannel reprobe.

2006-06-29 14:57:03 +02:00

cmb.h

[S390] rework of channel measurement facility.

2006-06-29 15:08:41 +02:00

compat.h

[PATCH] s390: add ptr_to_compat()

2006-03-27 08:44:48 -08:00

cpcmd.h

…

cputime.h

…

current.h

…

dasd.h

[S390] add PAV support to the dasd driver.

2006-06-29 15:08:18 +02:00

debug.h

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

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

delay.h

…

div64.h

…

dma-mapping.h

…

dma.h

…

ebcdic.h

[PATCH] s390: ebdic to ascii conversion tables

2006-04-11 06:18:37 -07:00

elf.h

…

emergency-restart.h

…

errno.h

…

extmem.h

…

fcntl.h

…

futex.h

[PATCH] s390: fix in-user atomic futex operation.

2006-06-08 15:15:30 -07:00

hardirq.h

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

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

idals.h

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

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

io.h

[PATCH] s390: add __raw_writeq required by __iowrite64_copy

2006-06-20 19:55:53 -07:00

ioctl.h

…

ioctls.h

…

ipc.h

…

ipcbuf.h

…

irq.h

[PATCH] adjust handle_IRR_event() return type

2006-06-23 07:43:08 -07:00

irqflags.h

[PATCH] lockdep: irqtrace subsystem, s390 support

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

kexec.h

…

kmap_types.h

…

linkage.h

…

local.h

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

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

lowcore.h

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

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

mathemu.h

…

mman.h

[PATCH] add asm-generic/mman.h

2006-02-15 15:32:22 -08:00

mmu_context.h

…

mmu.h

…

module.h

…

msgbuf.h

…

mutex.h

…

namei.h

…

page.h

Don't include implementation details from asm-s390/ptrace.h and page.h

2006-04-27 04:47:10 +01:00

param.h

…

pci.h

…

percpu.h

[PATCH] lockdep: add per_cpu_offset()

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

pgalloc.h

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

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

pgtable.h

[PATCH] zoned vm counters: create vmstat.c/.h from page_alloc.c/.h

2006-06-30 11:25:34 -07:00

poll.h

[PATCH] POLLRDHUP/EPOLLRDHUP handling for half-closed devices notifications

2006-03-25 08:22:56 -08:00

posix_types.h

[S390] __FD_foo definitions.

2006-06-14 14:10:51 +01:00

processor.h

…

ptrace.h

Don't include implementation details from asm-s390/ptrace.h and page.h

2006-04-27 04:47:10 +01:00

qdio.h

…

qeth.h

…

resource.h

…

rwsem.h

[PATCH] lockdep: prove rwsem locking correctness

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

s390_ext.h

…

s390_rdev.h

…

scatterlist.h

…

sections.h

…

segment.h

…

semaphore.h

[PATCH] lockdep: prove rwsem locking correctness

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

sembuf.h

…

setup.h

[PATCH] s390: add #ifdef __KERNEL__ to asm-s390/setup.h

2006-02-11 21:41:13 -08:00

sfp-machine.h

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

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

shmbuf.h

…

shmparam.h

…

sigcontext.h

…

siginfo.h

…

signal.h

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

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

sigp.h

…

smp.h

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

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

socket.h

[AF_UNIX]: Datagram getpeersec

2006-06-29 16:58:06 -07:00

sockios.h

…

spinlock_types.h

…

spinlock.h

…

stat.h

…

statfs.h

…

string.h

…

suspend.h

…

system.h

[PATCH] lockdep: irqtrace subsystem, s390 support

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

tape390.h

…

termbits.h

…

termios.h

…

thread_info.h

[S390] preempt_count initialization.

2006-06-29 15:02:47 +02:00

timer.h

[PATCH] s390: timer interface visibility

2006-02-03 08:32:01 -08:00

timex.h

…

tlb.h

…

tlbflush.h

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

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

todclk.h

…

topology.h

…

types.h

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

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

uaccess.h

[PATCH] s390 __get_user() bogus warnings removal

2006-02-08 01:04:59 -05:00

ucontext.h

…

unaligned.h

…

unistd.h

[S390] __syscall_return error check.

2006-06-29 14:57:25 +02:00

user.h

…

vtoc.h

Use __uXX types for S390 DASD volume label definitions which are user-visible

2006-05-04 01:18:33 +01:00

xor.h

…

z90crypt.h

Move user-visible parts of drivers/s390/crypto/z90crypt.h to include/asm-s390

2006-05-08 15:51:57 +01:00