VM_INTINFO_VALID
fields[2].vfe_value = VM_INTINFO_VALID | VM_INTINFO_HWEXCP | IDT_GP;
fields[3].vfe_value = VM_INTINFO_VALID | VM_INTINFO_SWINTR | 0x80;
VM_INTINFO_VALID | VM_INTINFO_SWINTR | 0x80);
VM_INTINFO_VALID | VM_INTINFO_HWEXCP | IDT_GP);
VM_INTINFO_VALID | VM_INTINFO_NMI | 0xd);
VM_INTINFO_VALID | VM_INTINFO_HWEXCP | 0x40);
VM_INTINFO_VALID | VM_INTINFO_SWINTR | 0xd);
CTASSERT(VMCB_EVENTINJ_VALID == VM_INTINFO_VALID);
uint64_t intinfo = VM_INTINFO_VALID | type | vec;
VM_INTINFO_VALID |
uint64_t val = VM_INTINFO_VALID | VM_INTINFO_HWEXCP | vector;
#define VM_INTINFO_PENDING(val) (((val) & VM_INTINFO_VALID) != 0)