srcu_flip        1132 kernel/rcu/srcutree.c 		srcu_flip(ssp);
srcu_flip          26 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/simple_sync_srcu.c void srcu_flip(struct srcu_struct *sp);
srcu_flip          48 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/simple_sync_srcu.c 	srcu_flip(sp);