blob: e32683f284d2ce2b86f31d26210ccddc96a0d08a (
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
27
28
|
#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 );
int snprintf( char *buf, size_t n, const char *format, ... );
int vsnprintf( char *buf, size_t n, const char *format, va_list args );
#ifdef OS_ABAOS
void __stdio_set_console( console_t *console );
#endif
#endif //STDIO_H
|
