Symbol: vga_switcheroo_power_switch
drivers/gpu/vga/vga_switcheroo.c
1028
vga_switcheroo_power_switch(pdev, VGA_SWITCHEROO_OFF);
drivers/gpu/vga/vga_switcheroo.c
1038
vga_switcheroo_power_switch(pdev, VGA_SWITCHEROO_ON);