Symbol: TYPE_IDX
sys/platform/pc64/x86_64/pmap.c
2356
if (pmap->pmap_bits[TYPE_IDX] != REGULAR_PMAP) {
sys/platform/pc64/x86_64/pmap.c
2521
[TYPE_IDX] = EPT_PMAP,
sys/platform/pc64/x86_64/pmap.c
2603
pmap->pmap_bits[TYPE_IDX] = NPT_PMAP;
sys/platform/pc64/x86_64/pmap.c
277
[TYPE_IDX] = REGULAR_PMAP,
sys/platform/pc64/x86_64/pmap.c
6417
if (pmap->pmap_bits[TYPE_IDX] == REGULAR_PMAP) {
sys/platform/pc64/x86_64/pmap.c
6427
} else if (pmap->pmap_bits[TYPE_IDX] == EPT_PMAP) {