On Fri, Aug 2, 2019 at 2:44 PM Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > > On 02/08/19 09:48, Anup Patel wrote: > > + hgatp |= (k->vmid.vmid << HGATP_VMID_SHIFT) & HGATP_VMID_MASK; > > This should use READ_ONCE. Ahh, missed this one. I will update. Regards, Anup