3 #define printf xmon_printf
4 #define putchar xmon_putchar
6 extern int xmon_putchar(int c);
7 extern void xmon_puts(const char *);
8 extern char *xmon_gets(char *, int);
9 extern void xmon_printf(const char *, ...);
10 extern int xmon_write(const void *ptr, int nb);
11 extern int xmon_readchar(void);