Searched refs:HMA_VPID_RESERVED (Results 1 – 1 of 1) sorted by relevance
200 #define HMA_VPID_RESERVED NCPU macro216 ASSERT(res > HMA_VPID_RESERVED && res <= UINT16_MAX); in hma_vmx_vpid_alloc()224 VERIFY(vpid > HMA_VPID_RESERVED); in hma_vmx_vpid_free()494 hma_vmx_vpid = id_space_create("hma_vmx_vpid", HMA_VPID_RESERVED + 1, in hma_vmx_init()