Symbol: vpid_sync_vcpu_global
arch/x86/kvm/vmx/vmx.c
3373
vpid_sync_vcpu_global();
arch/x86/kvm/vmx/vmx_ops.h
344
vpid_sync_vcpu_global();