Symbol: vrtc_pause
usr/src/uts/intel/io/vmm/io/vrtc.h
68
void vrtc_pause(struct vrtc *);
usr/src/uts/intel/io/vmm/vmm.c
803
vrtc_pause(vm->vrtc);