Lines Matching refs:bdf
168 pci_dev_t bdf; in pci_init_board() local
191 bdf = pci_find_device(PCI_VENDOR_ID_INTEL, in pci_init_board()
193 if (bdf == -1) in pci_init_board()
197 pci_write_config_byte(bdf, PCI_CFG_PIIX4_PIRQRCA, 10); in pci_init_board()
198 pci_write_config_byte(bdf, PCI_CFG_PIIX4_PIRQRCB, 10); in pci_init_board()
199 pci_write_config_byte(bdf, PCI_CFG_PIIX4_PIRQRCC, 11); in pci_init_board()
200 pci_write_config_byte(bdf, PCI_CFG_PIIX4_PIRQRCD, 11); in pci_init_board()
203 pci_read_config_dword(bdf, PCI_CFG_PIIX4_GENCFG, &val32); in pci_init_board()
205 pci_write_config_dword(bdf, PCI_CFG_PIIX4_GENCFG, val32); in pci_init_board()
208 pci_read_config_byte(bdf, PCI_CFG_PIIX4_SERIRQC, &val8); in pci_init_board()
210 pci_write_config_byte(bdf, PCI_CFG_PIIX4_SERIRQC, val8); in pci_init_board()
212 bdf = pci_find_device(PCI_VENDOR_ID_INTEL, in pci_init_board()
214 if (bdf == -1) in pci_init_board()
219 pci_write_config_dword(bdf, PCI_COMMAND, val32); in pci_init_board()
222 pci_write_config_byte(bdf, PCI_LATENCY_TIMER, 0x40); in pci_init_board()
225 pci_write_config_dword(bdf, PCI_CFG_PIIX4_IDETIM_PRI, in pci_init_board()
227 pci_write_config_dword(bdf, PCI_CFG_PIIX4_IDETIM_SEC, in pci_init_board()