vga_setfont        95 dev/ic/vga.c   void	vga_setfont(struct vga_config *, struct vgascreen *);
vga_setfont       817 dev/ic/vga.c   	vga_setfont(vc, scr);
vga_setfont       863 dev/ic/vga.c   			vga_setfont(vc, scr);