Symbol: pci_disable_vga
sys/dev/pci/pci.c
1186
void pci_disable_vga(pci_chipset_tag_t, pcitag_t);
sys/dev/pci/pci.c
1510
pci_disable_vga(pci_vga_pci->sc_pc, pci_vga_tag);