+ port_wrbyte(0x3D4, 0x0B);
+ port_wrbyte(0x3D5, (port_rdbyte(0x3D5) & 0xE0) | 15);
+}
+
+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);