software/include/base/stdint.h: add INT32_C

diff --git a/software/include/base/stdint.h b/software/include/base/stdint.h
index 029aeb29b581fc95e22b7600523c4ec94c4d590f..89f8af386f08072b28b7e7fe7d2423b8efc2a0db 100644 (file)
--- a/software/include/base/stdint.h
+++ b/software/include/base/stdint.h
@@ -19,5 +19,7 @@ typedef char int8_t;
 
 #define INT64_C(v) __int_c(v, LL)
 #define UINT64_C(v) __uint_c(v, LL)
+#define INT32_C(v) v
+#define UINT32_C(v) v##U
 
 #endif /* __STDINT_H */