pps_reset_freq_interval  133 kernel/time/ntp.c static inline void pps_reset_freq_interval(void)
pps_reset_freq_interval  215 kernel/time/ntp.c static inline void pps_reset_freq_interval(void) {}