From b028365c6b2d8d4eb2000e5c9a2abdd2c5523f1d Mon Sep 17 00:00:00 2001
From: Flavio Cruz <flaviocruz@gmail.com>
Date: Mon, 4 Apr 2016 23:57:41 +0200
Subject: 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.
---
 include/mach/std_types.h | 1 -
 kern/rdxtree.h           | 2 +-
 2 files changed, 1 insertion(+), 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.
-- 
cgit v1.2.3