diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2016-10-27 08:38:15 +0200 |
---|---|---|
committer | Corinna Vinschen <corinna@vinschen.de> | 2016-11-07 14:03:53 +0100 |
commit | dcaf7fedb9a2aab91cd87d3fa9128c25fe8d2eb5 (patch) | |
tree | 4420f5bacf8c24fc8f52545ac8820d5ecc6164b3 /newlib | |
parent | 64f900c9cee60a4c9229501a81f3ecd68802102a (diff) | |
download | cygnal-dcaf7fedb9a2aab91cd87d3fa9128c25fe8d2eb5.tar.gz cygnal-dcaf7fedb9a2aab91cd87d3fa9128c25fe8d2eb5.tar.bz2 cygnal-dcaf7fedb9a2aab91cd87d3fa9128c25fe8d2eb5.zip |
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 <sebastian.huber@embedded-brains.de>
Diffstat (limited to 'newlib')
-rw-r--r-- | newlib/libc/sys/rtems/include/machine/_types.h | 7 | ||||
-rw-r--r-- | newlib/libc/sys/rtems/include/machine/types.h | 5 |
2 files changed, 5 insertions, 7 deletions
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 <machine/_kernel_types.h> +#endif + #endif /* __BSD_VISIBLE */ |