HelenOS sources

ASI_QUEUE          99 kernel/arch/sparc64/src/trap/sun4v/interrupt.c 	unsigned int tail = asi_u64_read(ASI_QUEUE, VA_CPU_MONDO_QUEUE_TAIL);
ASI_QUEUE         100 kernel/arch/sparc64/src/trap/sun4v/interrupt.c 	unsigned int head = asi_u64_read(ASI_QUEUE, VA_CPU_MONDO_QUEUE_HEAD);
ASI_QUEUE         107 kernel/arch/sparc64/src/trap/sun4v/interrupt.c 		asi_u64_write(ASI_QUEUE, VA_CPU_MONDO_QUEUE_HEAD, head);