HelenOS sources

pagemask          111 kernel/arch/mips32/include/arch/cp0.h GEN_READ_CP0(pagemask, 5);
pagemask          112 kernel/arch/mips32/include/arch/cp0.h GEN_WRITE_CP0(pagemask, 5);
pagemask          111 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_READ_CP0(pagemask, 5);
pagemask          112 uspace/lib/c/arch/mips32/include/libarch/cp0.h GEN_WRITE_CP0(pagemask, 5);