HelenOS sources

VA_DMMU_TSB_BASE   95 kernel/arch/sparc64/include/arch/mm/sun4u/tsb.h 	return asi_u64_read(ASI_DMMU, VA_DMMU_TSB_BASE);
VA_DMMU_TSB_BASE  113 kernel/arch/sparc64/include/arch/mm/sun4u/tsb.h 	asi_u64_write(ASI_DMMU, VA_DMMU_TSB_BASE, v);