#ifndef VGA_H
#define VGA_H

#include <stdint.h>

void vga_print_at(uint16_t pos, const char *sz);
void vga_set_color(uint8_t color);
void vga_blank();
void vga_printch(char ch);
void vga_swap_color(uint16_t pos);

#endif