HelenOS sources

CPU_MONDO_QUEUE_SIZE   75 kernel/arch/sparc64/src/trap/sun4v/interrupt.c uint64_t cpu_mondo_queues[MAX_NUM_STRANDS][CPU_MONDO_QUEUE_SIZE]
CPU_MONDO_QUEUE_SIZE   76 kernel/arch/sparc64/src/trap/sun4v/interrupt.c     __attribute__((aligned(CPU_MONDO_QUEUE_SIZE * sizeof(uint64_t))));
CPU_MONDO_QUEUE_SIZE  106 kernel/arch/sparc64/src/trap/sun4v/interrupt.c 		    (CPU_MONDO_QUEUE_SIZE * sizeof(uint64_t));