Symbol: rtc_to_secs
sys/amd64/vmm/io/vrtc.c
652
rtctime = rtc_to_secs(vrtc);
sys/amd64/vmm/io/vrtc.c
953
curtime = rtc_to_secs(vrtc);