>>> 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
>>> 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