Symbol: vga_switcheroo_enable
sys/dev/video/vga/vga_switcheroo.c
251
vga_switcheroo_enable();
sys/dev/video/vga/vga_switcheroo.c
325
vga_switcheroo_enable();