vpid_sync_context 2817 arch/x86/kvm/vmx/vmx.c 		vpid_sync_context(vpid);
vpid_sync_context 4348 arch/x86/kvm/vmx/vmx.c 	vpid_sync_context(vmx->vpid);
vpid_sync_context  500 arch/x86/kvm/vmx/vmx.h 		vpid_sync_context(vpid);