VM_ENTRY_EXCEPTION_ERROR_CODE
EVMCS1_FIELD(VM_ENTRY_EXCEPTION_ERROR_CODE,
vmcs_write32(VM_ENTRY_EXCEPTION_ERROR_CODE,
FIELD(VM_ENTRY_EXCEPTION_ERROR_CODE, vm_entry_exception_error_code),
SHADOW_FIELD_RW(VM_ENTRY_EXCEPTION_ERROR_CODE, vm_entry_exception_error_code)
vmcs_write32(VM_ENTRY_EXCEPTION_ERROR_CODE, (u16)ex->error_code);
*error_code = vmcs_read32(VM_ENTRY_EXCEPTION_ERROR_CODE);
vmcs_read32(VM_ENTRY_EXCEPTION_ERROR_CODE),
VM_ENTRY_EXCEPTION_ERROR_CODE);
case VM_ENTRY_EXCEPTION_ERROR_CODE:
case VM_ENTRY_EXCEPTION_ERROR_CODE: