blob: 58c80b13ec01ec3dfefb417b0a7ce5d754b94364 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#ifndef STDIO_H
#define STDIO_H
#include <stdarg.h>
#include <stddef.h>
#ifdef OS_ABAOS
#include "console.h"
#endif
#ifdef OS_LINUX
#include "kernel_stub.h"
#endif
#define EOF (-1)
int puts( const char *s );
int printf( const char *format, ... );
int vprintf( const char *format, va_list args );
#ifdef OS_ABAOS
void __stdio_set_console( console_t *console );
#endif
#endif //STDIO_H
|