+void
+tty_set_cursor(u8_t x, u8_t y)
+{
+ if (x >= TTY_WIDTH || y >= TTY_HEIGHT) {
+ x = y = 0;
+ }
+ u32_t pos = y * TTY_WIDTH + x;
+ port_wrbyte(0x3D4, 14);
+ port_wrbyte(0x3D5, pos / 256);
+ port_wrbyte(0x3D4, 15);
+ port_wrbyte(0x3D5, pos % 256);