VMCS_ENTRY_EXCEPTION_ERROR_CODE
if (vmwrite(VMCS_ENTRY_EXCEPTION_ERROR_CODE,
vmx_dump_vmcs_field(VMCS_ENTRY_EXCEPTION_ERROR_CODE,