Symbol: vga_switchoff
sys/dev/video/vga/vga_switcheroo.c
1130
vga_switchoff(client);
sys/dev/video/vga/vga_switcheroo.c
766
vga_switchoff(active);
sys/dev/video/vga/vga_switcheroo.c
822
vga_switchoff(client);