Symbol: vlapic_pause
usr/src/uts/intel/io/vmm/io/vlapic.h
117
void vlapic_pause(struct vlapic *);
usr/src/uts/intel/io/vmm/vmm.c
792
vlapic_pause(vcpu->vlapic);