blob: ba13683e6965602082651db4dc031dc5b34021ac [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/*
Bence Szépkúti92410c92019-10-25 18:12:41 +02007 * Portions copyright (c) 2018-2019, ARM Limited and Contributors.
Antonio Nino Diaz6ef16122018-08-15 19:51:09 +01008 * 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 Diazc0c8eb62018-08-15 17:02:28 +010014#include <cdefs.h>
Bence Szépkúti92410c92019-10-25 18:12:41 +020015#include <stddef.h>
Antonio Nino Diaz6ef16122018-08-15 19:51:09 +010016#include <stdio_.h>
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010017
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010018#define EOF -1
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010019
Antonio Nino Diazc0c8eb62018-08-15 17:02:28 +010020int printf(const char *fmt, ...) __printflike(1, 2);
21int snprintf(char *s, size_t n, const char *fmt, ...) __printflike(3, 4);
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010022
Antonio Nino Diaz17605e72018-08-14 13:39:29 +010023#ifdef STDARG_H
Antonio Nino Diazc0c8eb62018-08-15 17:02:28 +010024int vprintf(const char *fmt, va_list args);
Madhukar Pappireddy38629702020-09-08 19:00:00 -050025int vsnprintf(char *s, size_t n, const char *fmt, va_list args);
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010026#endif
27
Antonio Nino Diaz17605e72018-08-14 13:39:29 +010028int putchar(int c);
29int puts(const char *s);
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010030
Antonio Nino Diaz17605e72018-08-14 13:39:29 +010031#endif /* STDIO_H */