On 05/13/2018 05:00 PM, Liran Alon wrote: >> +static void vmx_flush_tlb_gva(struct kvm_vcpu *vcpu, gva_t addr) >> +{ >> + int vpid = to_vmx(vcpu)->vpid; >> + >> + if (!vpid_sync_vcpu_addr(vpid, addr)) >> + vpid_sync_context(vpid); >> +} > > If VPID is not supported or module parameter enable_vpid=0, then vmx_flush_tlb_gva() will do nothing. > I think that if !enable_vpid you should invlpg addr. > If VPIDs are not in use, then the VM-entry/exit is in any case going to flush the TLB. So doing nothing here is alright. Thanks, Junaid