Searched refs:vmm_alloc_vpid (Results 1 – 1 of 1) sorted by relevance
127 int vmm_alloc_vpid(uint16_t *);2506 if (vmm_alloc_vpid(&vcpu->vc_vpid)) in vcpu_init_vmx()2768 if (vmm_alloc_vpid(&vcpu->vc_vpid)) in vcpu_init_svm()6341 vmm_alloc_vpid(uint16_t *vpid) in vmm_alloc_vpid() function