vga_switcheroo_power_switch 1029 drivers/gpu/vga/vga_switcheroo.c 	vga_switcheroo_power_switch(pdev, VGA_SWITCHEROO_OFF);
vga_switcheroo_power_switch 1040 drivers/gpu/vga/vga_switcheroo.c 	vga_switcheroo_power_switch(pdev, VGA_SWITCHEROO_ON);