HelenOS sources

MMU_MAP_ADDR      152 kernel/arch/sparc64/src/mm/sun4v/tlb.c 		    MMU_MAP_ADDR);
MMU_MAP_ADDR      182 kernel/arch/sparc64/src/mm/sun4v/tlb.c 	    t->page, t->as->asid, data.value, MMU_FLAG_DTLB, 0, MMU_MAP_ADDR);
MMU_MAP_ADDR      207 kernel/arch/sparc64/src/mm/sun4v/tlb.c 	    t->page, t->as->asid, data.value, MMU_FLAG_ITLB, 0, MMU_MAP_ADDR);