1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2014, STMicroelectronics International N.V. 4 */ 5 #ifndef STDIO_H 6 #define STDIO_H 7 8 #include <stddef.h> 9 #include <stdarg.h> 10 11 typedef struct _FILE FILE; 12 13 int printf(const char *fmt, ...) 14 __attribute__ ((__format__ (__printf__, 1, 2))); 15 int snprintf(char *str, size_t size, const char *fmt, ...) 16 __attribute__ ((__format__ (__printf__, 3, 4))); 17 int vsnprintf (char *str, size_t size, const char *fmt, va_list ap) 18 __attribute__ ((__format__ (__printf__, 3, 0))); 19 20 int puts(const char *str); 21 int putchar(int c); 22 23 #endif /*STDIO_H*/ 24