Symbol: vpid_sync_vcpu_single
arch/x86/kvm/vmx/vmx.c
3302
vpid_sync_vcpu_single(vmx->vpid);
arch/x86/kvm/vmx/vmx.c
3303
vpid_sync_vcpu_single(vmx->nested.vpid02);
arch/x86/kvm/vmx/vmx_ops.h
339
vpid_sync_vcpu_single(vpid);