vga_switchto_stage1  876 drivers/gpu/vga/vga_switcheroo.c 		ret = vga_switchto_stage1(client);
vga_switchto_stage1  889 drivers/gpu/vga/vga_switcheroo.c 		ret = vga_switchto_stage1(client);