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