On 25/07/2017 23:08, Jim Mattson wrote: > > + > + if (vcpu->arch.exception.has_error_code) { > + vmcs_write32(VM_EXIT_INTR_ERROR_CODE, > vcpu->arch.exception.error_code); > > > Should this be vmcs12->vm_exit_intr_error_code > = vcpu->arch.exception.error_code? No, this writes to the vmcs02 and prepare_vmcs12 copies it to the vmcs12. Paolo