Searched refs:allocate_vpid (Results 1 – 2 of 2) sorted by relevance
345 int allocate_vpid(void);
4085 int allocate_vpid(void) in allocate_vpid() function7674 vmx->vpid = allocate_vpid(); in vmx_vcpu_create()