MIN_FWD_CBS_LAUNDERED 1877 kernel/rcu/rcutorture.c 			    ++n_max_gps >= MIN_FWD_CBS_LAUNDERED)
MIN_FWD_CBS_LAUNDERED 1904 kernel/rcu/rcutorture.c 		WARN_ON(n_max_gps < MIN_FWD_CBS_LAUNDERED);