vga_getchar       237 dev/ic/vga.c   int	vga_getchar(void *, int, int, struct wsdisplay_charcell *);
vga_getchar       249 dev/ic/vga.c   	vga_getchar,