aboutsummaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
authorFlavio Cruz <flaviocruz@gmail.com>2022-12-18 19:48:24 -0500
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2022-12-19 01:57:21 +0100
commitb4b653a500199ab6d61318b0b0093567155089cd (patch)
treec1d100e0bf6cd2a90f4e227b30fd1959574801b3 /include
parent3b097978c147d6e98f02e7b2d31e75a36e36338f (diff)
downloadgnumach-b4b653a500199ab6d61318b0b0093567155089cd.tar.gz
gnumach-b4b653a500199ab6d61318b0b0093567155089cd.tar.bz2
gnumach-b4b653a500199ab6d61318b0b0093567155089cd.zip
Remove custom stdint.h and rely on freestanding headers
GCC already provides this so we don't need to have our own. Message-Id: <Y5+02FVA6jf4GPgA@mars>
Diffstat (limited to 'include')
-rw-r--r--include/stddef.h29
-rw-r--r--include/stdint.h44
2 files changed, 0 insertions, 73 deletions
diff --git a/include/stddef.h b/include/stddef.h
deleted file mode 100644
index dd677348..00000000
--- a/include/stddef.h
+++ /dev/null
@@ -1,29 +0,0 @@
-/*
- * Copyright (C) 2007 Free Software Foundation, Inc.
- *
- * This file is part of GNU Mach.
- *
- * GNU Mach is free software; you can redistribute it and/or modify it
- * under the terms of the GNU General Public License as published by the
- * Free Software Foundation; either version 2, or (at your option) any later
- * version.
- *
- * This program is distributed in the hope that it will be useful, but
- * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
- * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
- * for more details.
- *
- * You should have received a copy of the GNU General Public License along
- * with this program; if not, write to the Free Software Foundation, Inc.,
- * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
- */
-
-#ifndef _STDDEF_H_
-#define _STDDEF_H_
-
-/* From GCC's `/lib/gcc/X/X/include/stddef.h'. */
-
-/* Offset of member MEMBER in a struct of type TYPE. */
-#define offsetof(TYPE, MEMBER) __builtin_offsetof (TYPE, MEMBER)
-
-#endif /* _STDDEF_H_ */
diff --git a/include/stdint.h b/include/stdint.h
deleted file mode 100644
index 55c7ab22..00000000
--- a/include/stdint.h
+++ /dev/null
@@ -1,44 +0,0 @@
-/*
- * Copyright (C) 2016 Free Software Foundation, Inc.
- *
- * This file is part of GNU Mach.
- *
- * GNU Mach is free software; you can redistribute it and/or modify it
- * under the terms of the GNU General Public License as published by the
- * Free Software Foundation; either version 2, or (at your option) any later
- * version.
- *
- * This program is distributed in the hope that it will be useful, but
- * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
- * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
- * for more details.
- *
- * You should have received a copy of the GNU General Public License along
- * with this program; if not, write to the Free Software Foundation, Inc.,
- * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
- */
-
-#ifndef _STDINT_H_
-#define _STDINT_H_
-
-/*
- * These types are _exactly_ as wide as indicated in their names.
- */
-
-#include <mach/machine/stdint.h>
-
-typedef __mach_int8_t int8_t;
-typedef __mach_int16_t int16_t;
-typedef __mach_int32_t int32_t;
-typedef __mach_int64_t int64_t;
-
-typedef __mach_uint8_t uint8_t;
-typedef __mach_uint16_t uint16_t;
-typedef __mach_uint32_t uint32_t;
-typedef __mach_uint64_t uint64_t;
-
-/* Types for `void *' pointers. */
-typedef __mach_intptr_t intptr_t;
-typedef __mach_uintptr_t uintptr_t;
-
-#endif /* _STDINT_H_ */