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 | /* |
| 7 | * Portions copyright (c) 2018, ARM Limited and Contributors. |
| 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> |
Antonio Nino Diaz | 6ef1612 | 2018-08-15 19:51:09 +0100 | [diff] [blame] | 15 | #include <stdio_.h> |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 16 | |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 17 | #ifndef NULL |
| 18 | #define NULL ((void *) 0) |
| 19 | #endif |
| 20 | |
| 21 | #define EOF -1 |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 22 | |
Antonio Nino Diaz | c0c8eb6 | 2018-08-15 17:02:28 +0100 | [diff] [blame] | 23 | int printf(const char *fmt, ...) __printflike(1, 2); |
| 24 | 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] | 25 | |
Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 26 | #ifdef STDARG_H |
Antonio Nino Diaz | c0c8eb6 | 2018-08-15 17:02:28 +0100 | [diff] [blame] | 27 | int vprintf(const char *fmt, va_list args); |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 28 | #endif |
| 29 | |
Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 30 | int putchar(int c); |
| 31 | int puts(const char *s); |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 32 | |
Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 33 | #endif /* STDIO_H */ |