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.

1 files changed, 2 insertions, 1 deletions

diff --git a/kern/cpumap.c b/kern/cpumap.c
index 2cc3511c..5582e681 100644
--- a/kern/cpumap.c
+++ b/kern/cpumap.c
@@ -15,12 +15,13 @@
  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
  */
 
+#include <stddef.h>
+
 #include <kern/bitmap.h>
 #include <kern/cpumap.h>
 #include <kern/error.h>
 #include <kern/kmem.h>
 #include <kern/param.h>
-#include <kern/stddef.h>
 #include <machine/cpu.h>
 
 static struct cpumap cpumap_active_cpus __read_mostly = { { 1 } };