/* * * (c) 2004 Laurent Vivier * */ #ifndef __CONSOLE_H__ #define __CONSOLE_H__ #include extern void console_init(void); extern inline int console_putchar(int c); extern void console_putstring(const char *s); #endif