PKUOS - Pintos
Pintos source browser for PKU Operating System course
stdint.h
Go to the documentation of this file.
1#ifndef __LIB_STDINT_H
2#define __LIB_STDINT_H
3
4typedef signed char int8_t;
5#define INT8_MAX 127
6#define INT8_MIN (-INT8_MAX - 1)
7
8typedef signed short int int16_t;
9#define INT16_MAX 32767
10#define INT16_MIN (-INT16_MAX - 1)
11
12typedef signed int int32_t;
13#define INT32_MAX 2147483647
14#define INT32_MIN (-INT32_MAX - 1)
15
16typedef signed long long int int64_t;
17#define INT64_MAX 9223372036854775807LL
18#define INT64_MIN (-INT64_MAX - 1)
19
20typedef unsigned char uint8_t;
21#define UINT8_MAX 255
22
23typedef unsigned short int uint16_t;
24#define UINT16_MAX 65535
25
26typedef unsigned int uint32_t;
27#define UINT32_MAX 4294967295U
28
29typedef unsigned long long int uint64_t;
30#define UINT64_MAX 18446744073709551615ULL
31
33#define INTPTR_MIN INT32_MIN
34#define INTPTR_MAX INT32_MAX
35
37#define UINTPTR_MAX UINT32_MAX
38
40#define INTMAX_MIN INT64_MIN
41#define INTMAX_MAX INT64_MAX
42
44#define UINTMAX_MAX UINT64_MAX
45
46#define PTRDIFF_MIN INT32_MIN
47#define PTRDIFF_MAX INT32_MAX
48
49#define SIZE_MAX UINT32_MAX
50
51#endif /**< lib/stdint.h */
int64_t intmax_t
Definition: stdint.h:39
uint32_t uintptr_t
Definition: stdint.h:36
uint64_t uintmax_t
Definition: stdint.h:43
unsigned int uint32_t
Definition: stdint.h:26
int32_t intptr_t
Definition: stdint.h:32
signed long long int int64_t
Definition: stdint.h:16
signed short int int16_t
Definition: stdint.h:8
signed int int32_t
Definition: stdint.h:12
unsigned char uint8_t
Definition: stdint.h:20
unsigned long long int uint64_t
Definition: stdint.h:29
unsigned short int uint16_t
Definition: stdint.h:23
signed char int8_t
Definition: stdint.h:4