HelenOS sources

dtlb_sfsr_read    424 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	sfsr.value = dtlb_sfsr_read();
dtlb_sfsr_read    447 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	sfsr.value = dtlb_sfsr_read();