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