vga_switcheroo_process_delayed_switch
static inline int vga_switcheroo_process_delayed_switch(void) { return 0; }
vga_switcheroo_process_delayed_switch(void)