Symbol: vrtc_reset
usr/src/uts/intel/io/vmm/io/vrtc.h
55
void vrtc_reset(struct vrtc *vrtc);
usr/src/uts/intel/io/vmm/vmm.c
713
vrtc_reset(vm->vrtc);