HelenOS sources

ZERO_PAGE_MASK    184 kernel/arch/mips32/src/mm/frame.c 	cp0_pagemask_write(ZERO_PAGE_MASK);
ZERO_PAGE_MASK    212 kernel/arch/mips32/src/mm/frame.c 				cp0_pagemask_write(ZERO_PAGE_MASK);
ZERO_PAGE_MASK    270 kernel/arch/mips32/src/mm/frame.c 	cp0_pagemask_write(ZERO_PAGE_MASK);