127989a8eSAntonio Nino Diaz /* 227989a8eSAntonio Nino Diaz * Copyright (c) 2012-2017 Roberto E. Vargas Caballero 327989a8eSAntonio Nino Diaz * 427989a8eSAntonio Nino Diaz * SPDX-License-Identifier: BSD-3-Clause 527989a8eSAntonio Nino Diaz */ 67c0ff9c4SAntonio Nino Diaz /* 7*4c700c15SGovindraj Raja * Portions copyright (c) 2018-2019, Arm Limited and Contributors. 87c0ff9c4SAntonio Nino Diaz * All rights reserved. 97c0ff9c4SAntonio Nino Diaz */ 1027989a8eSAntonio Nino Diaz 112fb88cb2SAntonio Nino Diaz #ifndef STDIO_H 122fb88cb2SAntonio Nino Diaz #define STDIO_H 1327989a8eSAntonio Nino Diaz 14870ce3ddSAntonio Nino Diaz #include <cdefs.h> 15d45c323aSBence Szépkúti #include <stddef.h> 167c0ff9c4SAntonio Nino Diaz #include <stdio_.h> 1727989a8eSAntonio Nino Diaz 1827989a8eSAntonio Nino Diaz #define EOF -1 1927989a8eSAntonio Nino Diaz 20870ce3ddSAntonio Nino Diaz int printf(const char *fmt, ...) __printflike(1, 2); 21870ce3ddSAntonio Nino Diaz int snprintf(char *s, size_t n, const char *fmt, ...) __printflike(3, 4); 2227989a8eSAntonio Nino Diaz 232fb88cb2SAntonio Nino Diaz #ifdef STDARG_H 24870ce3ddSAntonio Nino Diaz int vprintf(const char *fmt, va_list args); 2577648689SMadhukar Pappireddy int vsnprintf(char *s, size_t n, const char *fmt, va_list args); 2627989a8eSAntonio Nino Diaz #endif 2727989a8eSAntonio Nino Diaz 282fb88cb2SAntonio Nino Diaz int putchar(int c); 292fb88cb2SAntonio Nino Diaz int puts(const char *s); 3027989a8eSAntonio Nino Diaz 312fb88cb2SAntonio Nino Diaz #endif /* STDIO_H */ 32