#include <stdint.h>

void vga_set_color(uint8_t color);
void vga_blank();
void vga_scroll();
void vga_printch(uint8_t ch);
void vga_printsz(uint8_t *sz);
void vga_printsn(uint8_t *sn, uint8_t n);