index
:
kernel/git/tglx/devel.git
devmsi
devmsi-arm
hotplug
init
master
queue/core
queue/x86/apic
rcuref
serial
smp/dying_mask
smp/init-merge
timers/posix
timers/pushpull
x86/apic
x86/core
x86/kexec
x86/microcode
x86/topo-full
x86/topology
Work in progress branches
Thomas Gleixner
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
.cocciconfig
blob: 43967c6b20151ee126db08e24758e3c789bcb844 (
plain
)
1
2
3
[spatch] options = --timeout 200 options = --use-gitgrep