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);HelenOS homepage, sources at GitHub