4 #include "types.h" // u32
6 typedef struct PCIDevice {
11 void pci_config_writel(PCIDevice *d, u32 addr, u32 val);
12 void pci_config_writew(PCIDevice *d, u32 addr, u16 val);
13 void pci_config_writeb(PCIDevice *d, u32 addr, u8 val);
14 u32 pci_config_readl(PCIDevice *d, u32 addr);
15 u16 pci_config_readw(PCIDevice *d, u32 addr);
16 u8 pci_config_readb(PCIDevice *d, u32 addr);