iPXE
stdint.h
Go to the documentation of this file.
00001 #ifndef _STDINT_H
00002 #define _STDINT_H
00003 
00004 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
00005 
00006 /*
00007  * This is a standard predefined macro on all gcc's I've seen. It's
00008  * important that we define size_t in the same way as the compiler,
00009  * because that's what it's expecting when it checks %zd/%zx printf
00010  * format specifiers.
00011  */
00012 #ifndef __SIZE_TYPE__
00013 #define __SIZE_TYPE__ unsigned long /* safe choice on most systems */
00014 #endif
00015 
00016 #include <bits/stdint.h>
00017 
00018 typedef int8_t s8;
00019 typedef uint8_t u8;
00020 typedef int16_t s16;
00021 typedef uint16_t u16;
00022 typedef int32_t s32;
00023 typedef uint32_t u32;
00024 typedef int64_t s64;
00025 typedef uint64_t u64;
00026 
00027 typedef int8_t int8;
00028 typedef uint8_t uint8;
00029 typedef int16_t int16;
00030 typedef uint16_t uint16;
00031 typedef int32_t int32;
00032 typedef uint32_t uint32;
00033 typedef int64_t int64;
00034 typedef uint64_t uint64;
00035 
00036 #endif /* _STDINT_H */