iPXE
stdint.h
Go to the documentation of this file.
1#ifndef _STDINT_H
2#define _STDINT_H
3
4FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
5FILE_SECBOOT ( PERMITTED );
6
7/*
8 * This is a standard predefined macro on all gcc's I've seen. It's
9 * important that we define size_t in the same way as the compiler,
10 * because that's what it's expecting when it checks %zd/%zx printf
11 * format specifiers.
12 */
13#ifndef __SIZE_TYPE__
14#define __SIZE_TYPE__ unsigned long /* safe choice on most systems */
15#endif
16
17#include <bits/stdint.h>
18
19typedef int8_t s8;
20typedef uint8_t u8;
21typedef int16_t s16;
22typedef uint16_t u16;
23typedef int32_t s32;
24typedef uint32_t u32;
25typedef int64_t s64;
26typedef uint64_t u64;
27
28typedef int8_t int8;
29typedef uint8_t uint8;
30typedef int16_t int16;
32typedef int32_t int32;
34typedef int64_t int64;
36
37#endif /* _STDINT_H */
signed short int16_t
Definition stdint.h:16
unsigned short uint16_t
Definition stdint.h:11
unsigned int uint32_t
Definition stdint.h:12
unsigned long long uint64_t
Definition stdint.h:13
signed int int32_t
Definition stdint.h:17
unsigned char uint8_t
Definition stdint.h:10
signed long long int64_t
Definition stdint.h:18
signed char int8_t
Definition stdint.h:15
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
Definition compiler.h:896
#define FILE_SECBOOT(_status)
Declare a file's UEFI Secure Boot permission status.
Definition compiler.h:926
#define u8
Definition igbvf_osdep.h:40
uint8_t uint8
Definition stdint.h:29
int64_t s64
Definition stdint.h:25
uint64_t u64
Definition stdint.h:26
int64_t int64
Definition stdint.h:34
int8_t s8
Definition stdint.h:19
int16_t int16
Definition stdint.h:30
int8_t int8
Definition stdint.h:28
int16_t s16
Definition stdint.h:21
int32_t int32
Definition stdint.h:32
uint64_t uint64
Definition stdint.h:35
uint16_t uint16
Definition stdint.h:31
uint32_t uint32
Definition stdint.h:33
int32_t s32
Definition stdint.h:23
#define u16
Definition vga.h:20
#define u32
Definition vga.h:21