Symbol: VMCS_GUEST_INTR_STATUS
usr/src/uts/intel/io/vmm/intel/vmx.c
1355
uint16_t status_old = vmcs_read(VMCS_GUEST_INTR_STATUS);
usr/src/uts/intel/io/vmm/intel/vmx.c
1364
vmcs_write(VMCS_GUEST_INTR_STATUS, status_new);