Searched refs:BIOSImageBAR (Results 1 – 1 of 1) sorted by relevance
375 int BIOSImageBAR; in PCI_mapBIOSImage() local404 BIOSImageBus = PCI_findBIOSAddr(pcidev, &BIOSImageBAR); in PCI_mapBIOSImage()415 dm_pci_write_config32(pcidev, BIOSImageBAR, 0); in PCI_mapBIOSImage()422 pci_write_config_dword(pcidev, BIOSImageBAR, 0); in PCI_mapBIOSImage()