2018-08-17 10:45:47 +01:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2012-2017 Roberto E. Vargas Caballero
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
|
|
*/
|
2018-08-15 19:51:09 +01:00
|
|
|
/*
|
|
|
|
* Portions copyright (c) 2018, ARM Limited and Contributors.
|
|
|
|
* All rights reserved.
|
|
|
|
*/
|
2018-08-17 10:45:47 +01:00
|
|
|
|
2018-08-14 13:39:29 +01:00
|
|
|
#ifndef STDIO_H
|
|
|
|
#define STDIO_H
|
2018-08-17 10:45:47 +01:00
|
|
|
|
2018-08-15 17:02:28 +01:00
|
|
|
#include <cdefs.h>
|
2018-08-15 19:51:09 +01:00
|
|
|
#include <stdio_.h>
|
2018-08-17 10:45:47 +01:00
|
|
|
|
|
|
|
#ifndef NULL
|
|
|
|
#define NULL ((void *) 0)
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#define EOF -1
|
|
|
|
|
2018-08-15 17:02:28 +01:00
|
|
|
int printf(const char *fmt, ...) __printflike(1, 2);
|
|
|
|
int snprintf(char *s, size_t n, const char *fmt, ...) __printflike(3, 4);
|
2018-08-17 10:45:47 +01:00
|
|
|
|
2018-08-14 13:39:29 +01:00
|
|
|
#ifdef STDARG_H
|
2018-08-15 17:02:28 +01:00
|
|
|
int vprintf(const char *fmt, va_list args);
|
2018-08-17 10:45:47 +01:00
|
|
|
#endif
|
|
|
|
|
2018-08-14 13:39:29 +01:00
|
|
|
int putchar(int c);
|
|
|
|
int puts(const char *s);
|
2018-08-17 10:45:47 +01:00
|
|
|
|
2018-08-14 13:39:29 +01:00
|
|
|
#endif /* STDIO_H */
|