Symbol: vga_getchar
sys/dev/ic/vga.c
255
int vga_getchar(void *, int, int, struct wsdisplay_charcell *);
sys/dev/ic/vga.c
268
.getchar = vga_getchar,