Index: kernel/test/debug/mips1_skip.c
===================================================================
--- kernel/test/debug/mips1_skip.c	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/test/debug/mips1_skip.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -28,5 +28,5 @@
 
 #include <test.h>
-#include <typedefs.h>
+#include <stddef.h>
 
 const char *test_mips1(void)
Index: kernel/test/mm/purge1_skip.c
===================================================================
--- kernel/test/mm/purge1_skip.c	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/test/mm/purge1_skip.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -27,6 +27,6 @@
  */
 
+#include <stddef.h>
 #include <test.h>
-#include <typedefs.h>
 
 const char *test_purge1(void)
Index: kernel/test/print/print1.c
===================================================================
--- kernel/test/print/print1.c	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/test/print/print1.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -28,4 +28,5 @@
 
 #include <print.h>
+#include <stddef.h>
 #include <test.h>
 
Index: kernel/test/print/print2.c
===================================================================
--- kernel/test/print/print2.c	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/test/print/print2.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -28,4 +28,5 @@
 
 #include <print.h>
+#include <stddef.h>
 #include <test.h>
 
Index: kernel/test/print/print3.c
===================================================================
--- kernel/test/print/print3.c	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/test/print/print3.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -27,6 +27,7 @@
  */
 
+#include <macros.h>
 #include <print.h>
-#include <macros.h>
+#include <stddef.h>
 #include <test.h>
 
Index: kernel/test/print/print4.c
===================================================================
--- kernel/test/print/print4.c	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/test/print/print4.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -28,4 +28,5 @@
 
 #include <print.h>
+#include <stddef.h>
 #include <test.h>
 
Index: kernel/test/print/print5.c
===================================================================
--- kernel/test/print/print5.c	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/test/print/print5.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -40,4 +40,5 @@
 
 #include <print.h>
+#include <stddef.h>
 #include <test.h>
 
Index: kernel/test/test.c
===================================================================
--- kernel/test/test.c	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/test/test.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -34,4 +34,5 @@
 
 #include <test.h>
+#include <stddef.h>
 #include <str.h>