Symbol: vmm_alloc_vpid
sys/arch/amd64/amd64/vmm_machdep.c
136
int vmm_alloc_vpid(uint16_t *);
sys/arch/amd64/amd64/vmm_machdep.c
2565
if (vmm_alloc_vpid(&vcpu->vc_vpid))