blob: 099746ea705d7c7a59805988723eba37e17f527c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#ifndef DEF_STDIO_H
#define DEF_STDIO_H
#include <stdarg.h>
#include <tce/syscall.h>
extern FILE term;
void print(char *s);
void printf(char *s, ...);
char *readln();
void fprint(FILE f, char *s);
void fprint_int(FILE f, int number);
void fprint_hex(FILE f, unsigned number);
void fprintf(FILE f, char *s, ...);
void vfprintf(FILE f, char *s, va_list arg);
#endif
|