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