allocate_vpid    4399 arch/x86/kvm/vmx/nested.c 	vmx->nested.vpid02 = allocate_vpid();
allocate_vpid    6704 arch/x86/kvm/vmx/vmx.c 	vmx->vpid = allocate_vpid();
allocate_vpid     310 arch/x86/kvm/vmx/vmx.h int allocate_vpid(void);