Index: kernel/arch/sparc64/src/trap/sun4v/interrupt.c
===================================================================
--- kernel/arch/sparc64/src/trap/sun4v/interrupt.c	(revision 72bf0d24c385bb60c29d5035914d6402640fc6d2)
+++ kernel/arch/sparc64/src/trap/sun4v/interrupt.c	(revision b9050026376d6902a630a5b1bbac45a4db0dc6df)
@@ -86,5 +86,5 @@
 		CPU_MONDO_QUEUE_ID,
 		KA2PA(cpu_mondo_queues[CPU->id]),
-		CPU_MONDO_NENTRIES) != EOK)
+		CPU_MONDO_NENTRIES) != HV_EOK)
 			panic("Initializing mondo queue failed on CPU %d.\n",
 			    CPU->arch.id);