Ingo Molnar 8a25d5debf [PATCH] lockdep: prove spinlock rwlock locking correctness ...

Use the lock validator framework to prove spinlock and rwlock 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

..

mach-bigsmp

…

mach-default

Merge branch 'x86-64'

2006-06-26 10:51:09 -07:00

mach-es7000

…

mach-generic

…

mach-numaq

…

mach-summit

…

mach-visws

[PATCH] fix sgivwfb compile

2006-06-29 10:26:19 -07:00

mach-voyager

…

8253pit.h

…

a.out.h

…

acpi.h

…

agp.h

…

alternative.h

[PATCH] SMP alternatives: skip with UP kernels

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

apic.h

[PATCH] x86_64: nmi watchdog header cleanup

2006-06-26 10:48:16 -07:00

apicdef.h

…

arch_hooks.h

…

atomic.h

…

auxvec.h

…

bitops.h

…

boot.h

…

bug.h

…

bugs.h

…

byteorder.h

…

cache.h

…

cacheflush.h

…

checksum.h

…

cpu.h

[PATCH] Register sysfs file for hotplugged new node

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

cpufeature.h

[PATCH] x86_64: i386/x86-64 Add nmi watchdog support for new Intel CPUs

2006-06-26 10:48:22 -07:00

cputime.h

…

current.h

…

debugreg.h

…

delay.h

…

desc.h

…

div64.h

…

dma-mapping.h

…

dma.h

…

dmi.h

…

dwarf2.h

[PATCH] i386: reliable stack trace support i386 entry.S

2006-06-26 10:48:17 -07:00

e820.h

…

edac.h

…

elf.h

[PATCH] vdso: randomize the i386 vDSO by moving it into a vma

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

emergency-restart.h

…

errno.h

…

fcntl.h

…

fixmap.h

[PATCH] vdso: randomize the i386 vDSO by moving it into a vma

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

floppy.h

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

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

futex.h

…

genapic.h

…

hardirq.h

…

highmem.h

…

hpet.h

…

hw_irq.h

[PATCH] genirq: add ->retrigger() irq op to consolidate hw_irq_resend()

2006-06-29 10:26:23 -07:00

i387.h

…

i8253.h

…

i8259.h

…

ide.h

…

intel_arch_perfmon.h

[PATCH] x86_64: i386/x86-64 Add nmi watchdog support for new Intel CPUs

2006-06-26 10:48:22 -07:00

io_apic.h

…

io.h

…

ioctl.h

…

ioctls.h

…

ipc.h

…

ipcbuf.h

…

irq.h

…

irqflags.h

[PATCH] lockdep: irqtrace cleanup of include/asm-i386/irqflags.h

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

ist.h

…

k8.h

[PATCH] x86_64: Clean and enhance up K8 northbridge access code

2006-06-26 10:48:15 -07:00

kdebug.h

…

kexec.h

…

kmap_types.h

…

kprobes.h

[PATCH] Notify page fault call chain

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

ldt.h

…

linkage.h

…

local.h

[PATCH] x86_64: Fix race in cpu_local_* on preemptible kernels

2006-06-26 10:48:21 -07:00

math_emu.h

…

mc146818rtc.h

…

mca_dma.h

…

mca.h

…

mce.h

…

mman.h

…

mmu_context.h

…

mmu.h

[PATCH] vdso: randomize the i386 vDSO by moving it into a vma

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

mmx.h

…

mmzone.h

…

module.h

…

mpspec_def.h

…

mpspec.h

…

msgbuf.h

…

msi.h

…

msr.h

…

mtrr.h

…

mutex.h

…

namei.h

…

nmi.h

[PATCH] x86_64: nmi watchdog header cleanup

2006-06-26 10:48:16 -07:00

numa.h

…

numaq.h

…

page.h

[PATCH] vdso: randomize the i386 vDSO by moving it into a vma

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

param.h

…

parport.h

…

pci-direct.h

…

pci.h

…

percpu.h

…

pgalloc.h

…

pgtable-2level-defs.h

…

pgtable-2level.h

…

pgtable-3level-defs.h

…

pgtable-3level.h

…

pgtable.h

…

poll.h

…

posix_types.h

…

processor.h

[PATCH] i386: move phys_proc_id and cpu_core_id to cpuinfo_x86

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

ptrace.h

…

resource.h

…

rtc.h

…

rwlock.h

…

rwsem.h

[PATCH] lockdep: prove rwsem locking correctness

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

scatterlist.h

…

seccomp.h

…

sections.h

…

segment.h

…

semaphore.h

…

sembuf.h

…

serial.h

…

setup.h

…

shmbuf.h

…

shmparam.h

…

sigcontext.h

…

siginfo.h

…

signal.h

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

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

smp.h

…

socket.h

[AF_UNIX]: Datagram getpeersec

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

sockios.h

…

sparsemem.h

…

spinlock_types.h

…

spinlock.h

[PATCH] lockdep: prove spinlock rwlock locking correctness

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

srat.h

…

stat.h

…

statfs.h

…

string.h

…

suspend.h

…

system.h

[PATCH] lockdep: irqtrace subsystem, i386 support

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

termbits.h

…

termios.h

…

thread_info.h

[PATCH] vdso: randomize the i386 vDSO by moving it into a vma

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

timer.h

…

timex.h

…

tlb.h

…

tlbflush.h

…

topology.h

[PATCH] sched: mc/smt power savings sched policy

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

tsc.h

…

types.h

…

uaccess.h

…

ucontext.h

…

unaligned.h

…

unistd.h

…

unwind.h

[PATCH] vdso: randomize the i386 vDSO by moving it into a vma

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

user.h

…

vga.h

…

vic.h

…

vm86.h

…

voyager.h

…

xor.h

…