From dcaf7fedb9a2aab91cd87d3fa9128c25fe8d2eb5 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Thu, 27 Oct 2016 08:38:15 +0200 Subject: Use external header file for kernel space types The FreeBSD kernel types are not used in Newlib. Provide them via an external header file to decouple Newlib and FreeBSD updates for RTEMS. Signed-off-by: Sebastian Huber --- newlib/libc/sys/rtems/include/machine/_types.h | 7 ------- newlib/libc/sys/rtems/include/machine/types.h | 5 +++++ 2 files changed, 5 insertions(+), 7 deletions(-) (limited to 'newlib') diff --git a/newlib/libc/sys/rtems/include/machine/_types.h b/newlib/libc/sys/rtems/include/machine/_types.h index eaf162a6c..e1b4c6466 100644 --- a/newlib/libc/sys/rtems/include/machine/_types.h +++ b/newlib/libc/sys/rtems/include/machine/_types.h @@ -35,11 +35,4 @@ typedef __int64_t __rlim_t; /* resource limit - intentionally */ /* signed, because of legacy code */ /* that uses -1 for RLIM_INFINITY */ -#ifdef _KERNEL -typedef int boolean_t; -typedef struct device *device_t; -typedef char vm_memattr_t; /* memory attribute codes */ -typedef struct vm_page *vm_page_t; -#endif /* _KERNEL */ - #endif /* _MACHINE__TYPES_H */ diff --git a/newlib/libc/sys/rtems/include/machine/types.h b/newlib/libc/sys/rtems/include/machine/types.h index 797702776..b28f92310 100644 --- a/newlib/libc/sys/rtems/include/machine/types.h +++ b/newlib/libc/sys/rtems/include/machine/types.h @@ -77,4 +77,9 @@ typedef __uintptr_t vm_size_t; typedef __uintmax_t rman_res_t; +#ifdef _KERNEL +/* Header file provided outside of Newlib */ +#include +#endif + #endif /* __BSD_VISIBLE */ -- cgit v1.2.3