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 /* 77c0ff9c4SAntonio Nino Diaz * Portions copyright (c) 2018, ARM Limited and Contributors. 87c0ff9c4SAntonio Nino Diaz * All rights reserved. 97c0ff9c4SAntonio Nino Diaz */ 1027989a8eSAntonio Nino Diaz 11*2fb88cb2SAntonio Nino Diaz #ifndef STDIO_H 12*2fb88cb2SAntonio Nino Diaz #define STDIO_H 1327989a8eSAntonio Nino Diaz 147c0ff9c4SAntonio Nino Diaz #include <stdio_.h> 1527989a8eSAntonio Nino Diaz 1627989a8eSAntonio Nino Diaz #ifndef NULL 1727989a8eSAntonio Nino Diaz #define NULL ((void *) 0) 1827989a8eSAntonio Nino Diaz #endif 1927989a8eSAntonio Nino Diaz 2027989a8eSAntonio Nino Diaz #define EOF -1 2127989a8eSAntonio Nino Diaz 22*2fb88cb2SAntonio Nino Diaz int printf(const char *fmt, ...); 23*2fb88cb2SAntonio Nino Diaz int snprintf(char *s, size_t n, const char *fmt, ...); 24*2fb88cb2SAntonio Nino Diaz int sprintf(char *s, const char *fmt, ...); 25*2fb88cb2SAntonio Nino Diaz int sscanf(const char *s, const char *fmt, ...); 2627989a8eSAntonio Nino Diaz 27*2fb88cb2SAntonio Nino Diaz #ifdef STDARG_H 28*2fb88cb2SAntonio Nino Diaz int vsnprintf(char *s, size_t n, const char *fmt, va_list arg); 29*2fb88cb2SAntonio Nino Diaz int vsprintf(char *s, const char *fmt, va_list arg); 3027989a8eSAntonio Nino Diaz #endif 3127989a8eSAntonio Nino Diaz 32*2fb88cb2SAntonio Nino Diaz int putchar(int c); 33*2fb88cb2SAntonio Nino Diaz int puts(const char *s); 3427989a8eSAntonio Nino Diaz 35*2fb88cb2SAntonio Nino Diaz #endif /* STDIO_H */ 36