Symbol: EPT_PMAP
sys/platform/pc64/x86_64/pmap.c
2521
[TYPE_IDX] = EPT_PMAP,
sys/platform/pc64/x86_64/pmap.c
6427
} else if (pmap->pmap_bits[TYPE_IDX] == EPT_PMAP) {