Searched refs:hma_vmx_vpid_free (Results 1 – 3 of 3) sorted by relevance
52 extern void hma_vmx_vpid_free(uint16_t);
292 hma_vmx_vpid_free(uint16_t vpid) in hma_vmx_vpid_free() function
396 hma_vmx_vpid_free((uint16_t)vpid); in vpid_free()