+}
+
+void
+tty_clear_line(unsigned int y)
+{
+ for (size_t i = 0; i < TTY_WIDTH; i++) {
+ *(tty_vga_buffer + i + y * TTY_WIDTH) = tty_theme_color;
+ }
+}
+
+void
+tty_set_cpos(unsigned int x, unsigned int y)
+{
+ tty_x = x % TTY_WIDTH;
+ tty_y = y % TTY_HEIGHT;
+}
+
+void
+tty_get_cpos(unsigned int* x, unsigned int* y)
+{
+ *x = tty_x;
+ *y = tty_y;
+}
+
+vga_attribute
+tty_get_theme()
+{
+ return tty_theme_color;