Searched refs:allocate_vpid (Results 1 – 3 of 3) sorted by relevance
311 int allocate_vpid(void);
3635 int allocate_vpid(void) in allocate_vpid() function6846 vmx->vpid = allocate_vpid(); in vmx_create_vcpu()
4772 vmx->nested.vpid02 = allocate_vpid(); in enter_vmx_operation()
