void con_init(void);
void con_reset(void);
-#define con_color(fg, bg) vga_setcolor(fg, bg)
+#define con_setcolor(fg, bg) vga_setcolor(fg, bg)
+
+void con_setcur(int x, int y);
+void con_getcur(int *x, int *y);
+void con_pushcur(void);
+void con_popcur(void);
void con_putchar(int c);