Searched refs:TYPE_IDX (Results 1 – 2 of 2) sorted by relevance
245 TYPE_IDX = 0, /* Pmap type */ enumerator
279 [TYPE_IDX] = REGULAR_PMAP,2352 if (pmap->pmap_bits[TYPE_IDX] != REGULAR_PMAP) { in pmap_pinit()2517 [TYPE_IDX] = EPT_PMAP, in pmap_ept_transform()2599 pmap->pmap_bits[TYPE_IDX] = NPT_PMAP; in pmap_npt_transform()6289 if (pmap->pmap_bits[TYPE_IDX] == REGULAR_PMAP) { in pmap_setlwpvm()6299 } else if (pmap->pmap_bits[TYPE_IDX] == EPT_PMAP) { in pmap_setlwpvm()