free_vpid         245 arch/x86/kvm/vmx/nested.c 	free_vpid(vmx->nested.vpid02);
free_vpid        6664 arch/x86/kvm/vmx/vmx.c 	free_vpid(vmx->vpid);
free_vpid        6801 arch/x86/kvm/vmx/vmx.c 	free_vpid(vmx->vpid);
free_vpid         311 arch/x86/kvm/vmx/vmx.h void free_vpid(int vpid);