rcutorture_extend_mask_max 1212 kernel/rcu/rcutorture.c 	int mask = rcutorture_extend_mask_max();
rcutorture_extend_mask_max 1240 kernel/rcu/rcutorture.c 	int mask = rcutorture_extend_mask_max();