Symbol: vmm_alloc_asid
sys/arch/amd64/amd64/vmm_machdep.c
137
int vmm_alloc_asid(uint16_t *, struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
2831
if (vmm_alloc_asid(&vcpu->vc_vpid, vcpu))