VM_EXIT_INTR_INFO
EVMCS1_FIELD(VM_EXIT_INTR_INFO, vm_exit_intr_info,
FIELD(VM_EXIT_INTR_INFO, vm_exit_intr_info),
SHADOW_FIELD_RO(VM_EXIT_INTR_INFO, vm_exit_intr_info)
vmcs_read32(VM_EXIT_INTR_INFO),
vt->exit_intr_info = vmcs_read32(VM_EXIT_INTR_INFO);
case VM_EXIT_INTR_INFO:
case VM_EXIT_INTR_INFO:
GUEST_ASSERT_EQ((vmreadz(VM_EXIT_INTR_INFO) & 0xff), NMI_VECTOR);
GUEST_ASSERT_EQ((vmreadz(VM_EXIT_INTR_INFO) & 0xff), vector);