vga_doswitch      239 dev/ic/vga.c   void vga_doswitch(struct vga_config *);
vga_doswitch      760 dev/ic/vga.c   		    (void(*)(void *))vga_doswitch, vc);
vga_doswitch      765 dev/ic/vga.c   	vga_doswitch(vc);