Searched refs:vga_doswitch (Results 1 – 1 of 1) sorted by relevance
257 void vga_doswitch(void *);766 timeout_set(&vc->vc_switch_timeout, vga_doswitch, vc); in vga_show_screen()771 vga_doswitch(vc); in vga_show_screen()776 vga_doswitch(void *arg) in vga_doswitch() function