just_mux          781 drivers/gpu/vga/vga_switcheroo.c 	bool just_mux = false;
just_mux          843 drivers/gpu/vga/vga_switcheroo.c 		just_mux = true;
just_mux          847 drivers/gpu/vga/vga_switcheroo.c 		just_mux = true;
just_mux          859 drivers/gpu/vga/vga_switcheroo.c 	if (just_mux) {