Index: kernel/arch/sparc64/src/trap/sun4v/interrupt.c
===================================================================
--- kernel/arch/sparc64/src/trap/sun4v/interrupt.c	(revision 7da160ba192d0a573fdd80c110c2e2499ff54e49)
+++ kernel/arch/sparc64/src/trap/sun4v/interrupt.c	(revision 12d77106be9d0f1eed699d9bb16b4d8fae4b4348)
@@ -38,5 +38,5 @@
 #include <interrupt.h>
 #include <ddi/irq.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <debug.h>
 #include <arch/asm.h>