summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlavio Cruz <flaviocruz@gmail.com>2016-04-04 23:57:41 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2016-04-05 00:05:50 +0200
commitb028365c6b2d8d4eb2000e5c9a2abdd2c5523f1d (patch)
tree5271e7e972356f0bda97c5027d05b7f237411f2b
parentbb69f8133cc13e49d000a6f92e6b4ed534ec5924 (diff)
Fix bootstraping issues with stdint.h.
* include/mach/std_types.h: Do not include stdint.h. * kern/rdxtree.h: Replace sys/types.h with stdint.h.
-rw-r--r--include/mach/std_types.h1
-rw-r--r--kern/rdxtree.h2
2 files changed, 1 insertions, 2 deletions
diff --git a/include/mach/std_types.h b/include/mach/std_types.h
index 553bd618..f78e236a 100644
--- a/include/mach/std_types.h
+++ b/include/mach/std_types.h
@@ -37,7 +37,6 @@
#include <mach/kern_return.h>
#include <mach/port.h>
#include <mach/machine/vm_types.h>
-#include <stdint.h>
typedef vm_offset_t pointer_t;
typedef vm_offset_t vm_address_t;
diff --git a/kern/rdxtree.h b/kern/rdxtree.h
index 1f8456e0..9892d565 100644
--- a/kern/rdxtree.h
+++ b/kern/rdxtree.h
@@ -36,7 +36,7 @@
#define _RDXTREE_H
#include <stddef.h>
-#include <sys/types.h>
+#include <stdint.h>
/*
* Initialize the node cache.