VM_INTINFO_HWEXCP
fields[2].vfe_value = VM_INTINFO_VALID | VM_INTINFO_HWEXCP | IDT_GP;
VM_INTINFO_VALID | VM_INTINFO_HWEXCP | IDT_GP);
VM_INTINFO_VALID | VM_INTINFO_HWEXCP | 0x40);
case VM_INTINFO_HWEXCP:
CTASSERT(VMCB_EVENTINJ_TYPE_EXCEPTION == VM_INTINFO_HWEXCP);
CTASSERT(VMCS_INTR_T_HWEXCEPTION == VM_INTINFO_HWEXCP);
if (type == VM_INTINFO_HWEXCP && vector >= 32)
if (VM_INTINFO_TYPE(info1) == VM_INTINFO_HWEXCP &&
VM_INTINFO_HWEXCP |
uint64_t val = VM_INTINFO_VALID | VM_INTINFO_HWEXCP | vector;
} else if (VM_INTINFO_TYPE(val) != VM_INTINFO_HWEXCP ||