Symbol: REGULAR_PMAP
sys/platform/pc64/x86_64/pmap.c
2356
if (pmap->pmap_bits[TYPE_IDX] != REGULAR_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) {