HelenOS sources

ASI_INTR_R         64 kernel/arch/sparc64/src/trap/sun4u/interrupt.c 	uint64_t data0 = asi_u64_read(ASI_INTR_R, ASI_UDB_INTR_R_DATA_0);
ASI_INTR_R         66 kernel/arch/sparc64/src/trap/sun4u/interrupt.c 	uint64_t data0 = asi_u64_read(ASI_INTR_R, VA_INTR_R_DATA_0);