Clean up compilation

Instead of mixing standard headers and internal redefinitions of standard
types, completely rely on the compiler for what is guaranteed for a free
standing environment. This results in the removal of kern/stddef.h and
kern/stdint.h. The kern/types.h header is reintroduced for the different
(and saner) purpose of defining types not specified in standard C,
namely ssize_t for now.

7 files changed, 17 insertions, 10 deletions

diff --git a/test/test_llsync_defer.c b/test/test_llsync_defer.c
index e4cca214..954ea390 100644
--- a/test/test_llsync_defer.c
+++ b/test/test_llsync_defer.c
@@ -28,6 +28,9 @@
  * Each thread regularly prints a string to report that it's making progress.
  */
 
+#include <stddef.h>
+#include <string.h>
+
 #include <kern/condition.h>
 #include <kern/error.h>
 #include <kern/kmem.h>
@@ -37,8 +40,6 @@
 #include <kern/panic.h>
 #include <kern/param.h>
 #include <kern/printk.h>
-#include <kern/stddef.h>
-#include <kern/string.h>
 #include <kern/thread.h>
 #include <kern/work.h>
 #include <test/test.h>
diff --git a/test/test_pmap_update_mp.c b/test/test_pmap_update_mp.c
index 21882bf2..5f40c8ce 100644
--- a/test/test_pmap_update_mp.c
+++ b/test/test_pmap_update_mp.c
@@ -24,6 +24,9 @@
  * tables of the current processor have been updated.
  */
 
+#include <stddef.h>
+#include <string.h>
+
 #include <kern/condition.h>
 #include <kern/cpumap.h>
 #include <kern/error.h>
@@ -31,8 +34,6 @@
 #include <kern/panic.h>
 #include <kern/param.h>
 #include <kern/printk.h>
-#include <kern/stddef.h>
-#include <kern/string.h>
 #include <kern/thread.h>
 #include <test/test.h>
 #include <vm/vm_kmem.h>
diff --git a/test/test_sref_dirty_zeroes.c b/test/test_sref_dirty_zeroes.c
index 042fb681..7f17ceea 100644
--- a/test/test_sref_dirty_zeroes.c
+++ b/test/test_sref_dirty_zeroes.c
@@ -26,6 +26,8 @@
  * and panics if it is.
  */
 
+#include <stddef.h>
+
 #include <kern/condition.h>
 #include <kern/error.h>
 #include <kern/evcnt.h>
@@ -35,7 +37,6 @@
 #include <kern/panic.h>
 #include <kern/sprintf.h>
 #include <kern/sref.h>
-#include <kern/stddef.h>
 #include <kern/thread.h>
 #include <test/test.h>
 #include <vm/vm_kmem.h>
diff --git a/test/test_sref_noref.c b/test/test_sref_noref.c
index d9fe63b8..b74338dc 100644
--- a/test/test_sref_noref.c
+++ b/test/test_sref_noref.c
@@ -32,6 +32,8 @@
  * to occur.
  */
 
+#include <stddef.h>
+
 #include <kern/condition.h>
 #include <kern/error.h>
 #include <kern/evcnt.h>
@@ -41,7 +43,6 @@
 #include <kern/panic.h>
 #include <kern/sprintf.h>
 #include <kern/sref.h>
-#include <kern/stddef.h>
 #include <kern/thread.h>
 #include <test/test.h>
 #include <vm/vm_kmem.h>
diff --git a/test/test_sref_weakref.c b/test/test_sref_weakref.c
index f618a483..20e8e155 100644
--- a/test/test_sref_weakref.c
+++ b/test/test_sref_weakref.c
@@ -32,11 +32,12 @@
  * first thread reinitializes the weak reference.
  */
 
+#include <stddef.h>
+
 #include <kern/error.h>
 #include <kern/evcnt.h>
 #include <kern/macros.h>
 #include <kern/sref.h>
-#include <kern/stddef.h>
 #include <kern/thread.h>
 #include <test/test.h>
 #include <vm/vm_kmem.h>
diff --git a/test/test_vm_page_fill.c b/test/test_vm_page_fill.c
index 55a328b2..c334407d 100644
--- a/test/test_vm_page_fill.c
+++ b/test/test_vm_page_fill.c
@@ -22,11 +22,12 @@
  * in which case this test will catch the error.
  */
 
+#include <stddef.h>
+#include <stdint.h>
+
 #include <kern/cpumap.h>
 #include <kern/error.h>
 #include <kern/list.h>
-#include <kern/stddef.h>
-#include <kern/stdint.h>
 #include <kern/thread.h>
 #include <machine/pmap.h>
 #include <test/test.h>
diff --git a/test/test_xcall.c b/test/test_xcall.c
index 2d496de1..ab4fa113 100644
--- a/test/test_xcall.c
+++ b/test/test_xcall.c
@@ -20,11 +20,12 @@
  * processor, and another on a remote processor.
  */
 
+#include <stddef.h>
+
 #include <kern/error.h>
 #include <kern/cpumap.h>
 #include <kern/panic.h>
 #include <kern/printk.h>
-#include <kern/stddef.h>
 #include <kern/thread.h>
 #include <kern/xcall.h>
 #include <test/test.h>