Symbol: vatpit_pause
usr/src/uts/intel/io/vmm/io/vatpit.h
61
void vatpit_pause(struct vatpit *);
usr/src/uts/intel/io/vmm/vmm.c
802
vatpit_pause(vm->vatpit);