src/lib/doslib/hw/vga/vgatty.h

   1
   2 #include <hw/cpu/cpu.h>
   3 #include <stdint.h>
   4
   5 char *vga_gets(unsigned int maxlen);
   6 void vga_moveto(unsigned char x,unsigned char y);
   7 void vga_scroll_up(unsigned char lines);
   8 void vga_cursor_down();
   9 void vga_writec(char c);
  10 void vga_write(const char *msg);
  11 void vga_write_sync();
  12 void vga_clear();
  13