Symbol: vga_switchon
drivers/gpu/vga/vga_switcheroo.c
716
vga_switchon(new_client);
drivers/gpu/vga/vga_switcheroo.c
819
vga_switchon(client);