Symbol: PCI_CHIPSET
sys/arch/algor/dev/mainbus.c
186
pci_configure_bus(PCI_CHIPSET, pcires, 0,
sys/arch/algor/dev/mainbus.c
198
pcitag_t idetag = pci_make_tag(PCI_CHIPSET, 0, PCI_IDE_DEV,
sys/arch/algor/dev/mainbus.c
205
pci_conf_write(PCI_CHIPSET, idetag, PIIX_IDETIM, idetim);