Symbol: vmm_alloc_vpid_vcpu
sys/arch/amd64/amd64/vmm_machdep.c
135
int vmm_alloc_vpid_vcpu(uint16_t *, struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
6950
return vmm_alloc_vpid_vcpu(vpid, NULL);
sys/arch/amd64/amd64/vmm_machdep.c
6956
return vmm_alloc_vpid_vcpu(asid, vcpu);