vga_doswitch
void vga_doswitch(void *);
timeout_set(&vc->vc_switch_timeout, vga_doswitch, vc);
vga_doswitch(vc);