HelenOS sources

ZERO_PAGE_TLBI    216 kernel/arch/mips32/src/mm/frame.c 				cp0_index_write(ZERO_PAGE_TLBI);
ZERO_PAGE_TLBI    274 kernel/arch/mips32/src/mm/frame.c 	cp0_index_write(ZERO_PAGE_TLBI);
HelenOS homepage, sources at GitHub