[Xen-devel] nested VMX issues/questions

["Jan Beulich" <JBeulich@xxxxxxxx>]

Hi,

first I noticed that nvmx_vcpu_initialise() doesn't set the two MSR
bitmap related flags, but nvmx_handle_vmwrite() apparently expects
them to be set. Is that correct (and if so, why)?

Furthermore I question whether the handling of partial writes (for
32-bit L1 guests) in nvmx_handle_vmwrite() is really correct: After
only one half of the register got written, the _map_{io,msr}_bitmap()
functions are not impossible to fail, causing the guest VMWRITE to get
failed with VMFAIL_VALID (which, if coded like Xen, would cause such
a guest to crash).

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel