timers_update_migration  227 kernel/time/timer.c static void timers_update_migration(void)
timers_update_migration  235 kernel/time/timer.c static inline void timers_update_migration(void) { }