VM_EXIT_INTR_ERROR_CODE
EVMCS1_FIELD(VM_EXIT_INTR_ERROR_CODE, vm_exit_intr_error_code,
vmcs_read32(VM_EXIT_INTR_ERROR_CODE);
FIELD(VM_EXIT_INTR_ERROR_CODE, vm_exit_intr_error_code),
SHADOW_FIELD_RO(VM_EXIT_INTR_ERROR_CODE, vm_exit_intr_error_code)
error_code = vmcs_read32(VM_EXIT_INTR_ERROR_CODE);
*error_code = vmcs_read32(VM_EXIT_INTR_ERROR_CODE);
vmcs_read32(VM_EXIT_INTR_ERROR_CODE),
case VM_EXIT_INTR_ERROR_CODE:
case VM_EXIT_INTR_ERROR_CODE:
GUEST_ASSERT_EQ(vmreadz(VM_EXIT_INTR_ERROR_CODE), error_code);