HelenOS sources

VA_IMMU_SFSR      584 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h 	return asi_u64_read(ASI_IMMU, VA_IMMU_SFSR);
VA_IMMU_SFSR      593 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h 	asi_u64_write(ASI_IMMU, VA_IMMU_SFSR, v);