6 #define ORIG_VIDEO_COLS (80)
7 #define ORIG_VIDEO_LINES (25)
9 void get_cursor(int *, int *);
10 void set_cursor(void);
12 void con_write(char *buf
, int nr
);
14 extern int puts(char *);
15 extern char get_char();
16 extern void command_read(char *);
19 #endif /* console.h */