HelenOS sources

ASI_ITLB_TAG_READ_REG  393 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h 	return asi_u64_read(ASI_ITLB_TAG_READ_REG, tag.value);
ASI_ITLB_TAG_READ_REG  498 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h 	return asi_u64_read(ASI_ITLB_TAG_READ_REG, tag.value);