18void __rdln(
char *buffer,
int maxlen);
uint16_t * vga
the vga framebuffer pointer
void __prtd(int x, int y, int num, uint8_t col)
prtd prints a decimal integer to the vga screen
void __scrl(void)
scrl scrolls the vga text screen up by one row
void __drw(int x1, int y1, int x2, int y2, uint8_t col)
drw draws a line on the vga screen using '#' characters
void __rdln(char *buffer, int maxlen)
rdln reads a line of text input from the keyboard
void __pchr(int x, int y, char chr, uint8_t col)
pchr prints a single raw character to the vga screen
void __prt(int x, int y, const char *txt, uint8_t col)
prt prints a string to the vga screen at a given position
void __clscr(void)
clscr clears the entire vga text screen
void __prth(int x, int y, uint32_t hex, uint8_t col)
prth prints a 32 bit hex value to the vga screen