blob: 83fd18c5771c3934f06c6f619bb9ad39b0ca7483 [file] [log] [blame]
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +01001/*
2 * Copyright (c) 2012-2017 Roberto E. Vargas Caballero
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
Antonio Nino Diaz6ef16122018-08-15 19:51:09 +01006/*
7 * Portions copyright (c) 2018, ARM Limited and Contributors.
8 * All rights reserved.
9 */
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010010
Antonio Nino Diaz17605e72018-08-14 13:39:29 +010011#ifndef STDIO_H
12#define STDIO_H
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010013
Antonio Nino Diaz6ef16122018-08-15 19:51:09 +010014#include <stdio_.h>
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010015
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010016#ifndef NULL
17#define NULL ((void *) 0)
18#endif
19
20#define EOF -1
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010021
Antonio Nino Diaz17605e72018-08-14 13:39:29 +010022int printf(const char *fmt, ...);
23int snprintf(char *s, size_t n, const char *fmt, ...);
24int sprintf(char *s, const char *fmt, ...);
25int sscanf(const char *s, const char *fmt, ...);
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010026
Antonio Nino Diaz17605e72018-08-14 13:39:29 +010027#ifdef STDARG_H
28int vsnprintf(char *s, size_t n, const char *fmt, va_list arg);
29int vsprintf(char *s, const char *fmt, va_list arg);
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010030#endif
31
Antonio Nino Diaz17605e72018-08-14 13:39:29 +010032int putchar(int c);
33int puts(const char *s);
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010034
Antonio Nino Diaz17605e72018-08-14 13:39:29 +010035#endif /* STDIO_H */