Symbol: vga_doswitch
sys/dev/ic/vga.c
291
static void vga_doswitch(struct vga_config *);
sys/dev/ic/vga.c
994
(void(*)(void *))vga_doswitch, vc);
sys/dev/ic/vga.c
998
vga_doswitch(vc);