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 int putchar(int c
);
16 extern char getchar();
17 extern void wait_key_press(void);
20 #endif /* console.h */