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 1faa99588d67fde7acd1feca06054788f42aff4e)
@@ -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>