Symbol: NUM_KERN_PTES
sys/arch/sun3/sun3x/pmap.c
2790
if (idx >= NUM_KERN_PTES) {
sys/arch/sun3/sun3x/pmap.c
2795
*tbl = &Ctmgrbase[(idx - NUM_KERN_PTES) / MMU_C_TBL_SIZE];
sys/arch/sun3/sun3x/pmap.c
967
(NUM_USER_PTES + NUM_KERN_PTES));