Symbol: PG_NX_IDX
sys/platform/pc64/x86_64/pmap.c
2532
[PG_NX_IDX] = 0, /* no support in EPT */
sys/platform/pc64/x86_64/pmap.c
2606
pmap->pmap_bits[PG_NX_IDX] = 0;
sys/platform/pc64/x86_64/pmap.c
288
[PG_NX_IDX] = X86_PG_NX,
sys/platform/pc64/x86_64/pmap.c
6098
pmap_bits_default[PG_NX_IDX] = 0;
sys/platform/pc64/x86_64/pmap.c
6122
*kp = pmap_bits_default[PG_NX_IDX];
sys/platform/pc64/x86_64/pmap.c
6139
*kp |= pmap_bits_default[PG_NX_IDX];