srcu_readers_active_idx   79 kernel/srcu.c  	return srcu_readers_active_idx(sp, 0) + srcu_readers_active_idx(sp, 1);
srcu_readers_active_idx  203 kernel/srcu.c  	while (srcu_readers_active_idx(sp, idx))