vpid_sync_vcpu_all  629 arch/x86/kvm/vmx.c 		vpid_sync_vcpu_all(vmx);
vpid_sync_vcpu_all 1425 arch/x86/kvm/vmx.c 	vpid_sync_vcpu_all(to_vmx(vcpu));
vpid_sync_vcpu_all 2124 arch/x86/kvm/vmx.c 	vpid_sync_vcpu_all(vmx);