print_char()

void print_char (int c)

Using int10, this function displays a character to video (x86 only).