Symbol: KPTDI
sys/i386/i386/pmap.c
6050
PTD[KPTDI] = enable ? PTD[LOWPTDI] : 0;
sys/i386/i386/pmap.c
970
mpte->pindex = i + KPTDI;