VMCS_INTR_T_MASK
info &= ~VMCS_INTR_T_MASK;
intr_type = idtvec_info & VMCS_INTR_T_MASK;
intr_type = idtvec_info & VMCS_INTR_T_MASK;
(intr_info & VMCS_INTR_T_MASK) == VMCS_INTR_T_HWINTR,
intr_type = intr_info & VMCS_INTR_T_MASK;
if ((intr_info & VMCS_INTR_T_MASK) == VMCS_INTR_T_NMI) {