00001
00007
00008
00009 #include <kernel.h>
00010 #include <device.h>
00011 #include <vararg.h>
00012
00013 #ifndef _STDIO_H_
00014 #define _STDIO_H_
00015
00019 syscall kprintf (char *, ...);
00020 syscall kputc(device *, unsigned char);
00021
00025 int _doscan(register char *, register int **, int (*)(void), int (*)(char), int, int);
00026 int fscanf(int, char *, int);
00027 int sscanf(char *, char *, int);
00028 char *fgets(int, char *, int);
00029
00033 void _doprnt(char *, va_list, int (*)(int, int), int);
00034 int fprintf(int, char *, ...);
00035 int sprintf(char *, char *, ...);
00036 int fputs(int, char *);
00037
00041 #define puts(s) fputs(CONSOLE, s)
00042 #define printf(...) fprintf (CONSOLE, __VA_ARGS__)
00043 #define scanf(fmt, args) fscanf(CONSOLE, fmt, args)
00044
00045 #endif