vmm_alloc_asid
int vmm_alloc_asid(uint16_t *, struct vcpu *);
if (vmm_alloc_asid(&vcpu->vc_vpid, vcpu))