LOCK_IMPL_INITIALIZER  127 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h #define SPIN_LOCK_UNLOCKED {.internal_lock = LOCK_IMPL_INITIALIZER}
LOCK_IMPL_INITIALIZER   10 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c #define CPU_PREEMPTION_LOCKS_INIT0 LOCK_IMPL_INITIALIZER