169 	pci_dev_t bdf;  in pci_init_board()  local
192 	bdf = pci_find_device(PCI_VENDOR_ID_INTEL,  in pci_init_board()
194 	if (bdf == -1)  in pci_init_board()
198 	pci_write_config_byte(bdf, PCI_CFG_PIIX4_PIRQRCA, 10);  in pci_init_board()
199 	pci_write_config_byte(bdf, PCI_CFG_PIIX4_PIRQRCB, 10);  in pci_init_board()
200 	pci_write_config_byte(bdf, PCI_CFG_PIIX4_PIRQRCC, 11);  in pci_init_board()
201 	pci_write_config_byte(bdf, PCI_CFG_PIIX4_PIRQRCD, 11);  in pci_init_board()
204 	pci_read_config_dword(bdf, PCI_CFG_PIIX4_GENCFG, &val32);  in pci_init_board()
206 	pci_write_config_dword(bdf, PCI_CFG_PIIX4_GENCFG, val32);  in pci_init_board()
209 	pci_read_config_byte(bdf, PCI_CFG_PIIX4_SERIRQC, &val8);  in pci_init_board()
211 	pci_write_config_byte(bdf, PCI_CFG_PIIX4_SERIRQC, val8);  in pci_init_board()
213 	bdf = pci_find_device(PCI_VENDOR_ID_INTEL,  in pci_init_board()
215 	if (bdf == -1)  in pci_init_board()
220 	pci_write_config_dword(bdf, PCI_COMMAND, val32);  in pci_init_board()
223 	pci_write_config_byte(bdf, PCI_LATENCY_TIMER, 0x40);  in pci_init_board()
226 	pci_write_config_dword(bdf, PCI_CFG_PIIX4_IDETIM_PRI,  in pci_init_board()
228 	pci_write_config_dword(bdf, PCI_CFG_PIIX4_IDETIM_SEC,  in pci_init_board()