Searched refs:hma_vmx_vpid_alloc (Results 1 – 3 of 3) sorted by relevance
51 extern uint16_t hma_vmx_vpid_alloc(void);
273 hma_vmx_vpid_alloc(void) in hma_vmx_vpid_alloc() function
423 tmp = hma_vmx_vpid_alloc(); in vpid_alloc()