CPU_PREEMPTION_LOCKS_INIT0   10 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c #define CPU_PREEMPTION_LOCKS_INIT0 LOCK_IMPL_INITIALIZER
CPU_PREEMPTION_LOCKS_INIT0   48 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c #undef CPU_PREEMPTION_LOCKS_INIT0