vga_putchar        98 dev/ic/vga.c   void	vga_putchar(void *, int, int, u_int, long);
vga_putchar       106 dev/ic/vga.c   	vga_putchar,