Symbol: vga_switchon
sys/dev/video/vga/vga_switcheroo.c
1143
vga_switchon(client);
sys/dev/video/vga/vga_switcheroo.c
721
vga_switchon(new_client);
sys/dev/video/vga/vga_switcheroo.c
834
vga_switchon(client);