From fd035c0a3d361e513fe7916b67e14ff702983153 Mon Sep 17 00:00:00 2001
From: Richard Braun <rbraun@sceen.net>
Date: Sat, 4 Feb 2017 17:45:17 +0100
Subject: 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.
---
 kern/percpu.c | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'kern/percpu.c')

diff --git a/kern/percpu.c b/kern/percpu.c
index ab7b4fb6..b57788ed 100644
--- a/kern/percpu.c
+++ b/kern/percpu.c
@@ -15,6 +15,10 @@
  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
  */
 
+#include <stddef.h>
+#include <stdint.h>
+#include <string.h>
+
 #include <kern/assert.h>
 #include <kern/error.h>
 #include <kern/init.h>
@@ -23,9 +27,6 @@
 #include <kern/param.h>
 #include <kern/percpu.h>
 #include <kern/printk.h>
-#include <kern/stddef.h>
-#include <kern/stdint.h>
-#include <kern/string.h>
 #include <machine/cpu.h>
 #include <vm/vm_kmem.h>
 #include <vm/vm_page.h>
-- 
cgit v1.2.3