HelenOS sources

dtlb_sfar_read    425 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	sfar = dtlb_sfar_read();
dtlb_sfar_read    448 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	sfar = dtlb_sfar_read();