Index: kernel/arch/sparc64/src/sparc64.c
===================================================================
--- kernel/arch/sparc64/src/sparc64.c	(revision aeaebcc155defcfcb8ff9cf60ddacb07fd8e84a7)
+++ kernel/arch/sparc64/src/sparc64.c	(revision 7e7c8747752c7ffe6c991792c4afdde7b1128b58)
@@ -51,4 +51,5 @@
 bootinfo_t bootinfo;
 
+/** Perform sparc64 specific initialization before main_bsp() is called. */
 void arch_pre_main(void)
 {
@@ -70,4 +71,5 @@
 }
 
+/** Perform sparc64 specific initialization before mm is initialized. */
 void arch_pre_mm_init(void)
 {
@@ -76,8 +78,14 @@
 }
 
+/** Perform sparc64 specific initialization afterr mm is initialized. */
 void arch_post_mm_init(void)
 {
 	if (config.cpu_active == 1) {
-		irq_init(1<<11, 128);
+		/*
+		 * We have 2^11 different interrupt vectors.
+		 * But we only create 128 buckets.
+		 */
+		irq_init(1 << 11, 128);
+		
 		standalone_sparc64_console_init();
 	}