diff options
-rw-r--r-- | src/arch/x86/include/stdint.h | 14 | ||||
-rw-r--r-- | src/include/inttypes.h | 4 |
2 files changed, 18 insertions, 0 deletions
diff --git a/src/arch/x86/include/stdint.h b/src/arch/x86/include/stdint.h index 07cae47ff9..c491f4b6e0 100644 --- a/src/arch/x86/include/stdint.h +++ b/src/arch/x86/include/stdint.h @@ -76,6 +76,20 @@ typedef int16_t s16; typedef int32_t s32; +#ifndef UINT32_MAX +#define UINT32_MAX (4294967295U) +#endif +#ifndef UINT64_MAX +# define UINT64_MAX (18446744073709551615ULL) +#endif +#ifndef UINT64_C +#define UINT64_C(c) c ## ULL +#endif +#ifndef PRIu64 +#define PRIu64 "llu" +#endif + + #undef __HAVE_LONG_LONG__ #endif /* I386_STDINT_H */ diff --git a/src/include/inttypes.h b/src/include/inttypes.h new file mode 100644 index 0000000000..77c39c4199 --- /dev/null +++ b/src/include/inttypes.h @@ -0,0 +1,4 @@ +#ifndef INTTYPES_H +#define INTTYPES_H +#include <stdint.h> +#endif /* INTTYPES_H */ |