12 #define PCI_CONF1_ADDRESS(dev, reg)	((0x1 << 31) | (dev << 8) | reg)  argument
14 static inline uint8_t pci_config_readb(pcidevaddr_t dev, uint8_t reg)  in pci_config_readb()  argument
16     outl(PCI_CONF1_ADDRESS(dev, reg), 0xCF8);  in pci_config_readb()
20 static inline uint16_t pci_config_readw(pcidevaddr_t dev, uint8_t reg)  in pci_config_readw()  argument
22     outl(PCI_CONF1_ADDRESS(dev, reg), 0xCF8);  in pci_config_readw()
26 static inline uint32_t pci_config_readl(pcidevaddr_t dev, uint8_t reg)  in pci_config_readl()  argument
28     outl(PCI_CONF1_ADDRESS(dev, reg), 0xCF8);  in pci_config_readl()
32 static inline void pci_config_writeb(pcidevaddr_t dev, uint8_t reg,  in pci_config_writeb()  argument
35     outl(PCI_CONF1_ADDRESS(dev, reg), 0xCF8);  in pci_config_writeb()
39 static inline void pci_config_writew(pcidevaddr_t dev, uint8_t reg,  in pci_config_writew()  argument
42     outl(PCI_CONF1_ADDRESS(dev, reg), 0xCF8);  in pci_config_writew()
46 static inline void pci_config_writel(pcidevaddr_t dev, uint8_t reg,  in pci_config_writel()  argument
49     outl(PCI_CONF1_ADDRESS(dev, reg), 0xCF8);  in pci_config_writel()
54 phys_addr_t pci_translate_addr(pcidevaddr_t dev __unused, uint64_t addr)  in pci_translate_addr()