VMCS_ENTRY_EXCEPTION_ERROR
errcode = vmcs_read(VMCS_ENTRY_EXCEPTION_ERROR);
vmcs_write(VMCS_ENTRY_EXCEPTION_ERROR, 0);
vmcs_write(VMCS_ENTRY_EXCEPTION_ERROR,