Symbol: vga_switch_screen
sys/dev/ic/vga_raster.c
315
static void vga_switch_screen(struct vga_config *);
sys/dev/ic/vga_raster.c
765
(void(*)(void *))vga_switch_screen, vc);
sys/dev/ic/vga_raster.c
769
vga_switch_screen(vc);