blob: 5ceaf68f3b95b7ce4b46e40834e73337e4bbc4d0 [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/*
Govindraj Rajaeee28e72023-08-01 15:52:40 -05007 * 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 */