tee: add sandbox driver

[oweals/u-boot.git] / include / common.h

diff --git a/include/common.h b/include/common.h
index 940161f1758b77cfa31984ed3b65bd28b208b47d..83b3bdc58dfa8c826d7e50993a93b11d4bbb3856 100644 (file)
--- a/include/common.h
+++ b/include/common.h
@@ -37,9 +37,6 @@ typedef volatile unsigned char        vu_char;
 #include <flash.h>
 #include <image.h>
 
-/* Bring in printf format macros if inttypes.h is included */
-#define __STDC_FORMAT_MACROS
-
 #ifdef __LP64__
 #define CONFIG_SYS_SUPPORT_64BIT_DATA
 #endif
@@ -359,6 +356,7 @@ void        serial_putc_raw(const char);
 void   serial_puts   (const char *);
 int    serial_getc   (void);
 int    serial_tstc   (void);
+int    serial_setconfig(uint config);
 
 /* $(CPU)/speed.c */
 int    get_clocks (void);