VM_INTINFO_TYPE
switch (VM_INTINFO_TYPE(info)) {
uint32_t type = VM_INTINFO_TYPE(info);
if (VM_INTINFO_TYPE(intinfo) == VM_INTINFO_NMI) {
const uint32_t type = VM_INTINFO_TYPE(info);
switch (VM_INTINFO_TYPE(info)) {
if (VM_INTINFO_TYPE(info1) == VM_INTINFO_HWEXCP &&
} else if (VM_INTINFO_TYPE(val) != VM_INTINFO_HWEXCP ||