__CPROVER_atomic_begin   67 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	__CPROVER_atomic_begin();
__CPROVER_atomic_begin  101 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	__CPROVER_atomic_begin();
__CPROVER_atomic_begin   52 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h 		__CPROVER_atomic_begin(); \
__CPROVER_atomic_begin   56 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h 		__CPROVER_atomic_begin(); \