VMCS_INTR_T_MASK
CTASSERT(VMCS_INTR_T_MASK == VM_INTINFO_MASK_TYPE);
const uint32_t type = info & VMCS_INTR_T_MASK;
inject &= ~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) {