Symbol: vga_putchar
sys/dev/ic/vga.c
115
int vga_putchar(void *, int, int, u_int, uint32_t);
sys/dev/ic/vga.c
123
vga_putchar,