Index: kernel/arch/sparc64/src/trap/interrupt.c
===================================================================
--- kernel/arch/sparc64/src/trap/interrupt.c	(revision 44a7ee5373ccc121fce74799244a44867eed301d)
+++ kernel/arch/sparc64/src/trap/interrupt.c	(revision 83dab11c929c1a48613d4dc70ed8ca9113463484)
@@ -41,5 +41,5 @@
 #include <interrupt.h>
 #include <ddi/irq.h>
-#include <typedefs.h>
+#include <stdbool.h>
 #include <debug.h>
 #include <arch/asm.h>
Index: kernel/arch/sparc64/src/trap/sun4u/interrupt.c
===================================================================
--- kernel/arch/sparc64/src/trap/sun4u/interrupt.c	(revision 44a7ee5373ccc121fce74799244a44867eed301d)
+++ kernel/arch/sparc64/src/trap/sun4u/interrupt.c	(revision 83dab11c929c1a48613d4dc70ed8ca9113463484)
@@ -38,5 +38,5 @@
 #include <interrupt.h>
 #include <ddi/irq.h>
-#include <typedefs.h>
+#include <stdint.h>
 #include <debug.h>
 #include <arch/asm.h>
Index: kernel/arch/sparc64/src/trap/sun4v/interrupt.c
===================================================================
--- kernel/arch/sparc64/src/trap/sun4v/interrupt.c	(revision 44a7ee5373ccc121fce74799244a44867eed301d)
+++ kernel/arch/sparc64/src/trap/sun4v/interrupt.c	(revision 83dab11c929c1a48613d4dc70ed8ca9113463484)
@@ -38,5 +38,5 @@
 #include <interrupt.h>
 #include <ddi/irq.h>
-#include <typedefs.h>
+#include <stdint.h>
 #include <debug.h>
 #include <arch/asm.h>