HelenOS sources

ASI_INTR_RECEIVE   62 kernel/arch/sparc64/src/trap/sun4u/interrupt.c 	uint64_t intrcv = asi_u64_read(ASI_INTR_RECEIVE, 0);
ASI_INTR_RECEIVE  108 kernel/arch/sparc64/src/trap/sun4u/interrupt.c 	asi_u64_write(ASI_INTR_RECEIVE, 0, 0);