blob: 3d9323efa508bd265545be17f29228287ad1a309 [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 Diazc0c8eb62018-08-15 17:02:28 +010014#include <cdefs.h>
Antonio Nino Diaz6ef16122018-08-15 19:51:09 +010015#include <stdio_.h>
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010016
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010017#ifndef NULL
18#define NULL ((void *) 0)
19#endif
20
21#define EOF -1
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010022
Antonio Nino Diazc0c8eb62018-08-15 17:02:28 +010023int printf(const char *fmt, ...) __printflike(1, 2);
24int snprintf(char *s, size_t n, const char *fmt, ...) __printflike(3, 4);
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010025
Antonio Nino Diaz17605e72018-08-14 13:39:29 +010026#ifdef STDARG_H
Antonio Nino Diazc0c8eb62018-08-15 17:02:28 +010027int vprintf(const char *fmt, va_list args);
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010028#endif
29
Antonio Nino Diaz17605e72018-08-14 13:39:29 +010030int putchar(int c);
31int puts(const char *s);
Antonio Nino Diazcf0f8052018-08-17 10:45:47 +010032
Antonio Nino Diaz17605e72018-08-14 13:39:29 +010033#endif /* STDIO_H */