Symbol: MMUCFG_PIDSIZE_GET
sys/arch/evbppc/mpc85xx/machdep.c
827
MMUCFG_PIDSIZE_GET(mmucfg) + 1,
sys/arch/evbppc/mpc85xx/machdep.c
828
1 << (MMUCFG_PIDSIZE_GET(mmucfg) + 1));