Symbol: vrtc_get_time
usr/src/uts/intel/io/vmm/io/vrtc.h
57
void vrtc_get_time(struct vm *vm, timespec_t *);
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
1633
vrtc_get_time(sc->vmm_vm, &ts);