vga_setfontset    733 dev/ic/vga.c   		vga_setfontset(&vc->hdl, fontslot1, fontslot2);
vga_setfontset    173 dev/ic/vgavar.h void vga_setfontset(struct vga_handle *, int, int);
vga_setfontset    688 dev/isa/ega.c  		vga_setfontset(&vc->hdl, 2 * fontslot1, 2 * fontslot2);