]> git.karo-electronics.de Git - karo-tx-linux.git/blob - tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/preempt.h
Merge branches 'pm-core', 'pm-qos', 'pm-domains' and 'pm-opp'
[karo-tx-linux.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / empty_includes / linux / preempt.h