Symbol: vga_switchoff
drivers/gpu/vga/vga_switcheroo.c
751
vga_switchoff(active);
drivers/gpu/vga/vga_switcheroo.c
807
vga_switchoff(client);