CPU_PREEMPTION_LOCKS_INIT0   12 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	CPU_PREEMPTION_LOCKS_INIT0, CPU_PREEMPTION_LOCKS_INIT0
CPU_PREEMPTION_LOCKS_INIT0   27 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	CPU_PREEMPTION_LOCKS_INIT0
CPU_PREEMPTION_LOCKS_INIT0   29 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	, CPU_PREEMPTION_LOCKS_INIT0