dyntick_save_progress_counter_sched  633 kernel/rcupreempt.c static void dyntick_save_progress_counter_sched(int cpu)
dyntick_save_progress_counter_sched  682 kernel/rcupreempt.c # define dyntick_save_progress_counter_sched(cpu)	do { } while (0)