HelenOS sources

ASI_INTR_DISPATCH_STATUS  101 kernel/arch/sparc64/src/smp/sun4u/ipi.c 	status = asi_u64_read(ASI_INTR_DISPATCH_STATUS, 0);
ASI_INTR_DISPATCH_STATUS  116 kernel/arch/sparc64/src/smp/sun4u/ipi.c 			status = asi_u64_read(ASI_INTR_DISPATCH_STATUS, 0);
ASI_INTR_DISPATCH_STATUS   58 kernel/arch/sparc64/src/trap/sun4u/interrupt.c 	uint64_t status = asi_u64_read(ASI_INTR_DISPATCH_STATUS, 0);