notify_cmos_timer  264 kernel/time/ntp.c static void notify_cmos_timer(void)
notify_cmos_timer  271 kernel/time/ntp.c static inline void notify_cmos_timer(void) { }