519 vpid_free(int vpid)  in vpid_free()  argument
521 	if (vpid < 0 || vpid > 0xffff)  in vpid_free()
522 		panic("vpid_free: invalid vpid %d", vpid);  in vpid_free()
529 	if (vpid > vm_maxcpu)  in vpid_free()
530 		free_unr(vpid_unr, vpid);  in vpid_free()
1138 	uint16_t vpid;  in vmx_vcpu_init()  local
1141 	vpid = vpid_alloc(vcpuid);  in vmx_vcpu_init()
1181 	error += vmwrite(VMCS_VPID, vpid);  in vmx_vcpu_init()
1229 	vcpu->state.vpid = vpid;  in vmx_vcpu_init()
1295 	if (vmxstate->vpid == 0)  in vmx_invvpid()
1330 		invvpid_desc.vpid = vmxstate->vpid;  in vmx_invvpid()
3249 	vpid_free(vcpu->state.vpid);  in vmx_vcpu_cleanup()