CPU_PREEMPTION_LOCKS_INIT2   16 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	CPU_PREEMPTION_LOCKS_INIT2, CPU_PREEMPTION_LOCKS_INIT2
CPU_PREEMPTION_LOCKS_INIT2   35 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	, CPU_PREEMPTION_LOCKS_INIT2