Symbol: vrtc_get_time
sys/amd64/vmm/io/vrtc.h
41
time_t vrtc_get_time(struct vm *vm);
sys/amd64/vmm/vmm_dev_machdep.c
556
rtctime->secs = vrtc_get_time(vm);