HelenOS sources

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