Symbol: MIPS3_PG_SIZE_4K
sys/arch/arc/arc/p_dti_tyne.c
221
MIPS3_PG_SIZE_MASK_TO_SIZE(MIPS3_PG_SIZE_4K));
sys/arch/mips/include/mips3_pte.h
184
CTASSERT(MIPS3_PG_SIZE_TO_MASK(4096) == MIPS3_PG_SIZE_4K);
sys/arch/mips/include/mips3_pte.h
185
CTASSERT(MIPS3_PG_SIZE_TO_MASK(8192) == MIPS3_PG_SIZE_4K);