Symbol: HMA_VPID_RESERVED
usr/src/uts/intel/os/hma.c
286
ASSERT(res > HMA_VPID_RESERVED && res <= UINT16_MAX);
usr/src/uts/intel/os/hma.c
294
VERIFY(vpid > HMA_VPID_RESERVED);
usr/src/uts/intel/os/hma.c
564
hma_vmx_vpid = id_space_create("hma_vmx_vpid", HMA_VPID_RESERVED + 1,