Re: [Xen-devel] [PATCH 7/9] x86/vvmx: Use correct sizes when reading operands

2017-12-04 Thread Jan Beulich
>>> On 01.12.17 at 19:45, wrote: > On 28/11/17 08:32, Jan Beulich wrote: > On 26.10.17 at 19:03, wrote: >>> * invvpid has a 128-bit memory operand but we only require the VPID value >>> which lies in the lower 64 bits. >> The memory

Re: [Xen-devel] [PATCH 7/9] x86/vvmx: Use correct sizes when reading operands

2017-11-28 Thread Jan Beulich
>>> On 26.10.17 at 19:03, wrote: > * invvpid has a 128-bit memory operand but we only require the VPID value > which lies in the lower 64 bits. The memory operand (wrongly) isn't being read at all - I don't understand the above bullet point for that reason. > @@ -464,6