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