More stdint, fixed issue #16

uefi/uefi.h

@@ -39,21 +39,21 @@ extern "C" {
 /* comment out this if you want to use wchar_t in your application */
 #define USE_UTF8            1
 
-/* get these from the compiler */
-#if !defined(_STDINT_H) && !defined(_GCC_STDINT_H)
+/* get these from the compiler or the efi headers, only define if we have neither */
+#if !defined(_STDINT_H) && !defined(_GCC_STDINT_H) && !defined(_EFI_INCLUDE_)
 #define _STDINT_H
-typedef signed char         int8_t;
+typedef char                int8_t;
 typedef unsigned char       uint8_t;
-typedef signed short        int16_t;
+typedef short               int16_t;
 typedef unsigned short      uint16_t;
-typedef signed int          int32_t;
+typedef int                 int32_t;
 typedef unsigned int        uint32_t;
 #ifndef __clang__
-typedef signed long int     int64_t;
+typedef long int            int64_t;
 typedef unsigned long int   uint64_t;
 typedef unsigned long int   uintptr_t;
 #else
-typedef signed long long    int64_t;
+typedef long long           int64_t;
 typedef unsigned long long  uint64_t;
 typedef unsigned long long  uintptr_t;
 #endif