124 static inline void pps_reset_freq_interval(void)  in pps_reset_freq_interval()  argument
135 static inline void pps_clear(void)  in pps_clear()  argument
149 static inline void pps_dec_valid(void)  in pps_dec_valid()  argument
206 static inline void pps_reset_freq_interval(void) {}  in pps_reset_freq_interval()  argument
207 static inline void pps_clear(void) {}  in pps_clear()  argument
208 static inline void pps_dec_valid(void) {}  in pps_dec_valid()  argument
236 static inline int ntp_synced(void)  in ntp_synced()  argument
250 static void ntp_update_frequency(void)  in ntp_update_frequency()  argument
340 void ntp_clear(void)  in ntp_clear()  argument
357 u64 ntp_tick_length(void)  in ntp_tick_length()  argument
532 void ntp_notify_cmos_timer(void)  in ntp_notify_cmos_timer()  argument
538 void ntp_notify_cmos_timer(void) { }  in ntp_notify_cmos_timer()  argument
767 static inline void pps_dec_freq_interval(void)  in pps_dec_freq_interval()  argument
781 static inline void pps_inc_freq_interval(void)  in pps_inc_freq_interval()  argument
962 void __init ntp_init(void)  in ntp_init()  argument