1 /*
2  * Copyright (c) 2012-2017 Roberto E. Vargas Caballero
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 /*
7  * Portions copyright (c) 2018-2019, ARM Limited and Contributors.
8  * All rights reserved.
9  */
10 
11 #ifndef STDIO_H
12 #define STDIO_H
13 
14 #include <cdefs.h>
15 #include <stddef.h>
16 #include <stdio_.h>
17 
18 #define EOF            -1
19 
20 int printf(const char *fmt, ...) __printflike(1, 2);
21 int snprintf(char *s, size_t n, const char *fmt, ...) __printflike(3, 4);
22 
23 #ifdef STDARG_H
24 int vprintf(const char *fmt, va_list args);
25 int vsnprintf(char *s, size_t n, const char *fmt, va_list args);
26 #endif
27 
28 int putchar(int c);
29 int puts(const char *s);
30 
31 #endif /* STDIO_H */
32