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