On 26/07/2017 16:55, Jim Mattson wrote: > Hmmm. That field isn't writable on all microarchitectures.
You're right... I'll see if there's a simple workaround, or it requires to rework reflection of EXCEPTION_NMI vmexits. The latter would fix PFEC_MASK/MATCH, too... Paolo > On Wed, Jul 26, 2017 at 7:48 AM, Paolo Bonzini <pbonz...@redhat.com > <mailto:pbonz...@redhat.com>> wrote: > > 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 > >
