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