Searched refs:hma_vmx_vpid (Results 1 – 1 of 1) sorted by relevance
42 static id_space_t *hma_vmx_vpid; variable212 res = id_alloc_nosleep(hma_vmx_vpid); in hma_vmx_vpid_alloc()225 id_free(hma_vmx_vpid, (id_t)vpid); in hma_vmx_vpid_free()494 hma_vmx_vpid = id_space_create("hma_vmx_vpid", HMA_VPID_RESERVED + 1, in hma_vmx_init()