dyntick_save_progress_counter 554 kernel/rcupreempt.c static void dyntick_save_progress_counter(int cpu) dyntick_save_progress_counter 678 kernel/rcupreempt.c # define dyntick_save_progress_counter(cpu) do { } while (0)