Symbol: pps_dec_freq_interval
kernel/time/ntp.c
953
pps_dec_freq_interval(ntpdata);
kernel/time/ntp.c
972
pps_dec_freq_interval(ntpdata);