LOCK_IMPL_INITIALIZER   52 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h #define LOCK_IMPL_INITIALIZER {.mutex = PTHREAD_MUTEX_INITIALIZER}
LOCK_IMPL_INITIALIZER  115 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h #define LOCK_IMPL_INITIALIZER {.locked = false}