HelenOS sources

ZERO_PAGE_ADDR     56 kernel/arch/mips32/src/mm/frame.c #define ZERO_PAGE_VALUE   (((volatile uint32_t *) ZERO_PAGE_ADDR)[ZERO_PAGE_OFFSET])
ZERO_PAGE_ADDR    210 kernel/arch/mips32/src/mm/frame.c 				tlb_prepare_entry_hi(&hi, ZERO_PAGE_ASID, ZERO_PAGE_ADDR);