/* $Revision: 1.2 $ */

#ifndef _STDIO_H_
#define _STDIO_H_

#include <stdarg.h>

extern void   kstdio_init(void);
extern int    kgetchar(void);
extern char * kgets(void);
extern void   kputs(char * str);
extern void   kputchar(char ch);
extern void   kprintf(char *fmt, ... );
/* extern void   do_printf(void (*do_putc) (char), char * fmt , ... ); */
extern void   do_printf(void (*do_putc) (char), va_list pvar );
extern void   dump(int addr, int len);
extern void   panic(char *msg);

extern void   stdio_init(void);
extern int    task_stdio_init(void);
extern void   record_char(char ch);
extern void   puts(char * str);
extern void   putchar(char ch);
extern int    getchar(void);
extern char * gets(void);
extern void   printf(char *fmt, ... );
extern void lprintf( char *fmt,... ) ;
extern void lcd_write( unsigned char ch ) ;
#endif