Searched refs:allocate_vpid (Results 1 – 1 of 1) sorted by relevance
4317 static int allocate_vpid(void) in allocate_vpid() function8765 vmx->vpid = allocate_vpid(); in vmx_create_vcpu()8815 vmx->nested.vpid02 = allocate_vpid(); in vmx_create_vcpu()