pci, ACPI, iommu: Enhance pci_root to support DMAR device hotplug
[cascardo/linux.git] / tools / testing / selftests / rcutorture / configs / rcu / v3.3 / P4-A-t-NH-sd-SMP-HP
1 CONFIG_RCU_TRACE=n
2 CONFIG_NO_HZ=y
3 CONFIG_SMP=y
4 CONFIG_RCU_FANOUT=6
5 CONFIG_NR_CPUS=8
6 CONFIG_RCU_FANOUT_EXACT=n
7 CONFIG_HOTPLUG_CPU=y
8 CONFIG_PREEMPT_NONE=n
9 CONFIG_PREEMPT_VOLUNTARY=n
10 CONFIG_PREEMPT=y
11 #CHECK#CONFIG_TREE_PREEMPT_RCU=y
12 CONFIG_RCU_TORTURE_TEST=m
13 CONFIG_MODULE_UNLOAD=y
14 CONFIG_RT_MUTEXES=y
15 CONFIG_RCU_BOOST=y
16 CONFIG_RCU_BOOST_PRIO=2
17 CONFIG_PROVE_LOCKING=y
18 CONFIG_PROVE_RCU=y
19 CONFIG_IKCONFIG=y
20 CONFIG_IKCONFIG_PROC=y
21 CONFIG_PRINTK_TIME=y
22