HelenOS sources

VA_IMMU_TSB_BASE   86 kernel/arch/sparc64/include/arch/mm/sun4u/tsb.h 	return asi_u64_read(ASI_IMMU, VA_IMMU_TSB_BASE);
VA_IMMU_TSB_BASE  104 kernel/arch/sparc64/include/arch/mm/sun4u/tsb.h 	asi_u64_write(ASI_IMMU, VA_IMMU_TSB_BASE, v);