Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 1 | /* |
2 | * Copyright (c) 2012-2017 Roberto E. Vargas Caballero | ||||
3 | * | ||||
4 | * SPDX-License-Identifier: BSD-3-Clause | ||||
5 | */ | ||||
Antonio Nino Diaz | 6ef1612 | 2018-08-15 19:51:09 +0100 | [diff] [blame] | 6 | /* |
Bence Szépkúti | 92410c9 | 2019-10-25 18:12:41 +0200 | [diff] [blame] | 7 | * Portions copyright (c) 2018-2019, ARM Limited and Contributors. |
Antonio Nino Diaz | 6ef1612 | 2018-08-15 19:51:09 +0100 | [diff] [blame] | 8 | * All rights reserved. |
9 | */ | ||||
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 10 | |
Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 11 | #ifndef STDIO_H |
12 | #define STDIO_H | ||||
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 13 | |
Antonio Nino Diaz | c0c8eb6 | 2018-08-15 17:02:28 +0100 | [diff] [blame] | 14 | #include <cdefs.h> |
Bence Szépkúti | 92410c9 | 2019-10-25 18:12:41 +0200 | [diff] [blame] | 15 | #include <stddef.h> |
Antonio Nino Diaz | 6ef1612 | 2018-08-15 19:51:09 +0100 | [diff] [blame] | 16 | #include <stdio_.h> |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 17 | |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 18 | #define EOF -1 |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 19 | |
Antonio Nino Diaz | c0c8eb6 | 2018-08-15 17:02:28 +0100 | [diff] [blame] | 20 | int printf(const char *fmt, ...) __printflike(1, 2); |
21 | int snprintf(char *s, size_t n, const char *fmt, ...) __printflike(3, 4); | ||||
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 22 | |
Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 23 | #ifdef STDARG_H |
Antonio Nino Diaz | c0c8eb6 | 2018-08-15 17:02:28 +0100 | [diff] [blame] | 24 | int vprintf(const char *fmt, va_list args); |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 25 | #endif |
26 | |||||
Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 27 | int putchar(int c); |
28 | int puts(const char *s); | ||||
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 29 | |
Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 30 | #endif /* STDIO_H */ |