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 | 6ef1612 | 2018-08-15 19:51:09 +0100 | [diff] [blame] | 14 | #include <stdio_.h> |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 15 | |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 16 | #ifndef NULL |
| 17 | #define NULL ((void *) 0) |
| 18 | #endif |
| 19 | |
| 20 | #define EOF -1 |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 21 | |
Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 22 | int printf(const char *fmt, ...); |
| 23 | int snprintf(char *s, size_t n, const char *fmt, ...); |
| 24 | int sprintf(char *s, const char *fmt, ...); |
| 25 | int sscanf(const char *s, const char *fmt, ...); |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 26 | |
Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 27 | #ifdef STDARG_H |
| 28 | int vsnprintf(char *s, size_t n, const char *fmt, va_list arg); |
| 29 | int vsprintf(char *s, const char *fmt, va_list arg); |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 30 | #endif |
| 31 | |
Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 32 | int putchar(int c); |
| 33 | int puts(const char *s); |
Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 34 | |
Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 35 | #endif /* STDIO_H */ |