On 18/08/2017 14:35, Radim Krčmář wrote: > >>> diff --git a/arch/x86/kvm/x86.h b/arch/x86/kvm/x86.h >>> @@ -90,7 +90,11 @@ static inline u32 bit(int bitno) >>> static inline void vcpu_cache_mmio_info(struct kvm_vcpu *vcpu, >>> gva_t gva, gfn_t gfn, unsigned access) >>> { >>> - vcpu->arch.mmio_gva = gva & PAGE_MASK; >>> + /* >>> + * If this is a shadow nested page table, the "GVA" is >> s/"GVA"/GVA/ ? > I prefer the former, we're talking about "gva_t gva" that isn't GVA. :) Exactly. :) Paolo