vga_putc           65 bsp/drv/dev/video/vga.c static void	vga_putc(void *, int, int, int);
vga_putc           92 bsp/drv/dev/video/vga.c 	vga_putc,	/* putc */