HelenOS sources

ASI_DTLB_TAG_READ_REG  408 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h 	return asi_u64_read(ASI_DTLB_TAG_READ_REG, tag.value);
ASI_DTLB_TAG_READ_REG  515 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h 	return asi_u64_read(ASI_DTLB_TAG_READ_REG, tag.value);