vga_switcheroo_ready  247 drivers/gpu/vga/vga_switcheroo.c 	if (vga_switcheroo_ready()) {
vga_switcheroo_ready  317 drivers/gpu/vga/vga_switcheroo.c 	if (vga_switcheroo_ready()) {