Symbol: vga_doswitch
sys/dev/ic/vga.c
257
void vga_doswitch(void *);
sys/dev/ic/vga.c
766
timeout_set(&vc->vc_switch_timeout, vga_doswitch, vc);
sys/dev/ic/vga.c
771
vga_doswitch(vc);