13d6e43c7SPaul E. McKenneyCONFIG_SMP=y 28ea7a53dSPaul E. McKenneyCONFIG_NR_CPUS=3 33d6e43c7SPaul E. McKenneyCONFIG_HOTPLUG_CPU=y 43d6e43c7SPaul E. McKenneyCONFIG_PREEMPT_NONE=n 53d6e43c7SPaul E. McKenneyCONFIG_PREEMPT_VOLUNTARY=n 63d6e43c7SPaul E. McKenneyCONFIG_PREEMPT=y 73d6e43c7SPaul E. McKenneyCONFIG_DEBUG_LOCK_ALLOC=y 83d6e43c7SPaul E. McKenneyCONFIG_PROVE_LOCKING=y 93d6e43c7SPaul E. McKenney#CHECK#CONFIG_PROVE_RCU=y 103d6e43c7SPaul E. McKenneyCONFIG_RCU_EXPERT=y 11*4c3f7b0eSPaul E. McKenneyCONFIG_FORCE_TASKS_RUDE_RCU=y 12*4c3f7b0eSPaul E. McKenney#CHECK#CONFIG_TASKS_RUDE_RCU=y 13