Index: boot/arch/sparc64/src/ofw.c
===================================================================
--- boot/arch/sparc64/src/ofw.c	(revision a52e2f4c4873ce4073f619369f5c66e583d9a895)
+++ boot/arch/sparc64/src/ofw.c	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
@@ -36,5 +36,5 @@
 #include <arch/ofw.h>
 #include <genarch/ofw.h>
-#include <typedefs.h>
+#include <stddef.h>
 #include <printf.h>
 #include <halt.h>