CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
stdint.h
1// Copyright Microsoft and CHERIoT Contributors.
2// SPDX-License-Identifier: MIT
3
4#pragma once
5
6#define __constant_integer_suffix_impl(a, b) a##b
7#define __constant_integer_suffix(a, b) __constant_integer_suffix_impl(a, b)
8
9typedef __UINT8_TYPE__ uint8_t;
10typedef __UINT_LEAST8_TYPE__ uint_least8_t;
11typedef __UINT_FAST8_TYPE__ uint_fast8_t;
12#define UINT8_C(x) __constant_integer_suffix(x, __UINT8_C_SUFFIX__)
13#define UINT8_MAX __UINT8_MAX__
14#define UINT_LEAST8_MAX __UINT_LEAST8_MAX__
15#define UINT_FAST8_MAX __UINT_FAST8_MAX__
16
17typedef __INT8_TYPE__ int8_t;
18typedef __INT_LEAST8_TYPE__ int_least8_t;
19typedef __INT_FAST8_TYPE__ int_fast8_t;
20#define INT8_C(x) __constant_integer_suffix(x, __INT8_C_SUFFIX__)
21#define INT8_MAX __INT8_MAX__
22#define INT8_MIN ((-INT8_C(INT8_MAX)) - 1)
23#define INT_LEAST8_MIN __INT_LEAST8_MIN__
24#define INT_FAST8_MIN __INT_FAST8_MIN__
25#define INT_LEAST8_MAX __INT_LEAST8_MAX__
26#define INT_FAST8_MAX __INT_FAST8_MAX__
27
28typedef __UINT16_TYPE__ uint16_t;
29typedef __UINT_LEAST16_TYPE__ uint_least16_t;
30typedef __UINT_FAST16_TYPE__ uint_fast16_t;
31#define UINT16_C(x) __constant_integer_suffix(x, __UINT16_C_SUFFIX__)
32#define UINT16_MAX __UINT16_MAX__
33#define UINT_LEAST16_MAX __UINT_LEAST16_MAX__
34#define UINT_FAST16_MAX __UINT_FAST16_MAX__
35
36typedef __INT16_TYPE__ int16_t;
37typedef __INT_LEAST16_TYPE__ int_least16_t;
38typedef __INT_FAST16_TYPE__ int_fast16_t;
39#define INT16_C(x) __constant_integer_suffix(x, __INT16_C_SUFFIX__)
40#define INT16_MAX __INT16_MAX__
41#define INT16_MIN ((-INT16_C(INT16_MAX)) - 1)
42#define INT_LEAST16_MIN __INT_LEAST16_MIN__
43#define INT_FAST16_MIN __INT_FAST16_MIN__
44#define INT_LEAST16_MAX __INT_LEAST16_MAX__
45#define INT_FAST16_MAX __INT_FAST16_MAX__
46
47typedef __UINT32_TYPE__ uint32_t;
48typedef __UINT_LEAST32_TYPE__ uint_least32_t;
49typedef __UINT_FAST32_TYPE__ uint_fast32_t;
50#define UINT32_C(x) __constant_integer_suffix(x, __UINT32_C_SUFFIX__)
51#define UINT32_MAX __UINT32_MAX__
52#define UINT_LEAST32_MAX __UINT_LEAST32_MAX__
53#define UINT_FAST32_MAX __UINT_FAST32_MAX__
54
55typedef __INT32_TYPE__ int32_t;
56typedef __INT_LEAST32_TYPE__ int_least32_t;
57typedef __INT_FAST32_TYPE__ int_fast32_t;
58#define INT32_C(x) __constant_integer_suffix(x, __INT32_C_SUFFIX__)
59#define INT32_MAX __INT32_MAX__
60#define INT32_MIN ((-INT32_C(INT32_MAX)) - 1)
61#define INT_LEAST32_MIN __INT_LEAST32_MIN__
62#define INT_FAST32_MIN __INT_FAST32_MIN__
63#define INT_LEAST32_MAX __INT_LEAST32_MAX__
64#define INT_FAST32_MAX __INT_FAST32_MAX__
65
66typedef __UINT64_TYPE__ uint64_t;
67typedef __UINT_LEAST64_TYPE__ uint_least64_t;
68typedef __UINT_FAST64_TYPE__ uint_fast64_t;
69#define UINT64_C(x) __constant_integer_suffix(x, __UINT64_C_SUFFIX__)
70#define UINT64_MAX __UINT64_MAX__
71#define UINT_LEAST64_MAX __UINT_LEAST64_MAX__
72#define UINT_FAST64_MAX __UINT_FAST64_MAX__
73
74typedef __INT64_TYPE__ int64_t;
75typedef __INT_LEAST64_TYPE__ int_least64_t;
76typedef __INT_FAST64_TYPE__ int_fast64_t;
77#define INT64_C(x) __constant_integer_suffix(x, __INT64_C_SUFFIX__)
78#define INT64_MAX __INT64_MAX__
79#define INT64_MIN ((-INT64_C(INT64_MAX)) - 1)
80#define INT_LEAST64_MIN __INT_LEAST64_MIN__
81#define INT_FAST64_MIN __INT_FAST64_MIN__
82#define INT_LEAST64_MAX __INT_LEAST64_MAX__
83#define INT_FAST64_MAX __INT_FAST64_MAX__
84
85typedef __UINTMAX_TYPE__ uintmax_t;
86#define UINTMAX_C(x) __constant_integer_suffix(x, __UINTMAX_C_SUFFIX__)
87#define UINTMAX_MAX __UINTMAX_MAX__
88typedef __INTMAX_TYPE__ intmax_t;
89#define INTMAX_C(x) __constant_integer_suffix(x, __INTMAX_C_SUFFIX__)
90#define INTMAX_MAX __INTMAX_MAX__
91#define INTMAX_MIN ((-INTMAX_C(INTMAX_MAX)) - 1)
92
93typedef __UINTPTR_TYPE__ uintptr_t;
94#define UINTPTR_MAX __UINTPTR_MAX__
95typedef __INTPTR_TYPE__ intptr_t;
96#define INTPTR_MAX __INTPTR_MAX__
97#define INTPTR_MIN ((-INTPTR_C(INTPTR_MAX)) - 1)
98
99#define SIZE_MAX __SIZE_MAX__