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);HelenOS homepage, sources at GitHub