pintos/src/lib/stdint.h File Reference

Go to the source code of this file.

Defines
#define	INT8_MAX   127
#define	INT8_MIN   (-INT8_MAX - 1)
#define	INT16_MAX   32767
#define	INT16_MIN   (-INT16_MAX - 1)
#define	INT32_MAX   2147483647
#define	INT32_MIN   (-INT32_MAX - 1)
#define	INT64_MAX   9223372036854775807LL
#define	INT64_MIN   (-INT64_MAX - 1)
#define	UINT8_MAX   255
#define	UINT16_MAX   65535
#define	UINT32_MAX   4294967295U
#define	UINT64_MAX   18446744073709551615ULL
#define	INTPTR_MIN   INT32_MIN
#define	INTPTR_MAX   INT32_MAX
#define	UINTPTR_MAX   UINT32_MAX
#define	INTMAX_MIN   INT64_MIN
#define	INTMAX_MAX   INT64_MAX
#define	UINTMAX_MAX   UINT64_MAX
#define	PTRDIFF_MIN   INT32_MIN
#define	PTRDIFF_MAX   INT32_MAX
#define	SIZE_MAX   UINT32_MAX
Typedefs
typedef signed char	int8_t
typedef signed short int	int16_t
typedef signed int	int32_t
typedef signed long long int	int64_t
typedef unsigned char	uint8_t
typedef unsigned short int	uint16_t
typedef unsigned int	uint32_t
typedef unsigned long long int	uint64_t
typedef int32_t	intptr_t
typedef uint32_t	uintptr_t
typedef int64_t	intmax_t
typedef uint64_t	uintmax_t

---

Define Documentation

#define INT16_MAX   32767

Definition at line 10 of file stdint.h.

#define INT16_MIN   (-INT16_MAX - 1)

Definition at line 11 of file stdint.h.

#define INT32_MAX   2147483647

Definition at line 14 of file stdint.h.

#define INT32_MIN   (-INT32_MAX - 1)

Definition at line 15 of file stdint.h.

#define INT64_MAX   9223372036854775807LL

Definition at line 18 of file stdint.h.

#define INT64_MIN   (-INT64_MAX - 1)

Definition at line 19 of file stdint.h.

#define INT8_MAX   127

Definition at line 6 of file stdint.h.

#define INT8_MIN   (-INT8_MAX - 1)

Definition at line 7 of file stdint.h.

#define INTMAX_MAX   INT64_MAX

Definition at line 42 of file stdint.h.

#define INTMAX_MIN   INT64_MIN

Definition at line 41 of file stdint.h.

#define INTPTR_MAX   INT32_MAX

Definition at line 35 of file stdint.h.

#define INTPTR_MIN   INT32_MIN

Definition at line 34 of file stdint.h.

#define PTRDIFF_MAX   INT32_MAX

Definition at line 48 of file stdint.h.

Referenced by __vprintf().

#define PTRDIFF_MIN   INT32_MIN

Definition at line 47 of file stdint.h.

#define SIZE_MAX   UINT32_MAX

Definition at line 50 of file stdint.h.

Referenced by __vprintf().

#define UINT16_MAX   65535

Definition at line 25 of file stdint.h.

#define UINT32_MAX   4294967295U

Definition at line 28 of file stdint.h.

#define UINT64_MAX   18446744073709551615ULL

Definition at line 31 of file stdint.h.

#define UINT8_MAX   255

Definition at line 22 of file stdint.h.

#define UINTMAX_MAX   UINT64_MAX

Definition at line 45 of file stdint.h.

#define UINTPTR_MAX   UINT32_MAX

Definition at line 38 of file stdint.h.

---

Typedef Documentation

typedef signed short int int16_t

Definition at line 9 of file stdint.h.

typedef signed int int32_t

Definition at line 13 of file stdint.h.

typedef signed long long int int64_t

Definition at line 17 of file stdint.h.

typedef signed char int8_t

Definition at line 5 of file stdint.h.

typedef int64_t intmax_t

Definition at line 40 of file stdint.h.

typedef int32_t intptr_t

Definition at line 33 of file stdint.h.

typedef unsigned short int uint16_t

Definition at line 24 of file stdint.h.

typedef unsigned int uint32_t

Definition at line 27 of file stdint.h.

typedef unsigned long long int uint64_t

Definition at line 30 of file stdint.h.

typedef unsigned char uint8_t

Definition at line 21 of file stdint.h.

typedef uint64_t uintmax_t

Definition at line 44 of file stdint.h.

typedef uint32_t uintptr_t

Definition at line 37 of file stdint.h.