vga_switchoff     751 drivers/gpu/vga/vga_switcheroo.c 		vga_switchoff(active);
vga_switchoff     807 drivers/gpu/vga/vga_switcheroo.c 				vga_switchoff(client);