blob: ae41dc4f2e57c5d5441585ab89c8ddb5cac9786b [file] [log] [blame]
/* SPDX-License-Identifier: BSD-2-Clause */
/*
* Copyright (c) 2014, STMicroelectronics International N.V.
*/
#ifndef STDIO_H
#define STDIO_H
#include <stddef.h>
#include <stdarg.h>
typedef struct _FILE FILE;
int printf(const char *fmt, ...)
__attribute__ ((__format__ (__printf__, 1, 2)));
int snprintf(char *str, size_t size, const char *fmt, ...)
__attribute__ ((__format__ (__printf__, 3, 4)));
int vsnprintf (char *str, size_t size, const char *fmt, va_list ap)
__attribute__ ((__format__ (__printf__, 3, 0)));
int puts(const char *str);
int putchar(int c);
#endif /*STDIO_H*/