Symbol: vhpet_pause
usr/src/uts/intel/io/vmm/io/vhpet.h
62
void vhpet_pause(struct vhpet *);
usr/src/uts/intel/io/vmm/vmm.c
801
vhpet_pause(vm->vhpet);