HelenOS sources

VA_IMMU_TAG_ACCESS  526 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h 	asi_u64_write(ASI_IMMU, VA_IMMU_TAG_ACCESS, v);
VA_IMMU_TAG_ACCESS  536 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h 	return asi_u64_read(ASI_IMMU, VA_IMMU_TAG_ACCESS);