pps_dec_freq_interval  893 kernel/time/ntp.c 		pps_dec_freq_interval();
pps_dec_freq_interval  913 kernel/time/ntp.c 		pps_dec_freq_interval();