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) { }