hrtimer_force_reprogram 720 kernel/time/hrtimer.c hrtimer_force_reprogram(base, 0); hrtimer_force_reprogram 1009 kernel/time/hrtimer.c hrtimer_force_reprogram(cpu_base, 1);