CPU_PREEMPTION_LOCKS_INIT1   14 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	CPU_PREEMPTION_LOCKS_INIT1, CPU_PREEMPTION_LOCKS_INIT1
CPU_PREEMPTION_LOCKS_INIT1   32 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	, CPU_PREEMPTION_LOCKS_INIT1