vga_switcheroo_process_delayed_switch
vga_switcheroo_process_delayed_switch();
vga_switcheroo_process_delayed_switch();
int vga_switcheroo_process_delayed_switch(void);
vga_switcheroo_process_delayed_switch();
EXPORT_SYMBOL(vga_switcheroo_process_delayed_switch);