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, 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 <stdio_.h> 16 17 #ifndef NULL 18 #define NULL ((void *) 0) 19 #endif 20 21 #define EOF -1 22 23 int printf(const char *fmt, ...) __printflike(1, 2); 24 int snprintf(char *s, size_t n, const char *fmt, ...) __printflike(3, 4); 25 26 #ifdef STDARG_H 27 int vprintf(const char *fmt, va_list args); 28 #endif 29 30 int putchar(int c); 31 int puts(const char *s); 32 33 #endif /* STDIO_H */ 34