blob: feb036ee23eda1bcf0f6ed37a55368d300061885 [file] [log] [blame]
/*
* Copyright (c) 2012-2017 Roberto E. Vargas Caballero
*
* SPDX-License-Identifier: BSD-3-Clause
*/
/*
* Portions copyright (c) 2018, ARM Limited and Contributors.
* All rights reserved.
*/
#ifndef STDIO_H
#define STDIO_H
#include <cdefs.h>
#include <stdio_.h>
#ifndef NULL
#define NULL ((void *) 0)
#endif
#define EOF -1
int printf(const char *fmt, ...) __printflike(1, 2);
int snprintf(char *s, size_t n, const char *fmt, ...) __printflike(3, 4);
#ifdef STDARG_H
int vprintf(const char *fmt, va_list args) __printflike(1, 0);
int vsnprintf(char *str, size_t size, const char *format, va_list ap) __printflike(3, 0);
#endif
int putchar(int c);
int puts(const char *s);
#endif /* STDIO_H */