Symbol: kern_get_ntp_delta
sys/kern/kern_time.c
793
kern_get_ntp_delta(&delta);
sys/kern/kern_time.c
817
kern_get_ntp_delta(&old_delta);