Defined in 2 files as a function:

• tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h, line 26 (as a function)
• tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h, line 79 (as a function)

Referenced in 2 files:

• tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h, line 144
• tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c, line 68