vga_setscreentype  813 dev/ic/vga.c   		vga_setscreentype(vh, type);
vga_setscreentype  174 dev/ic/vgavar.h void vga_setscreentype(struct vga_handle *,
vga_setscreentype  766 dev/isa/ega.c  		vga_setscreentype(vh, type);