src/pci.h

   1 #include "types.h" // u32
   2
   3 typedef struct PCIDevice {
   4     int bus;
   5     int devfn;
   6 } PCIDevice;
   7
   8 void pci_config_writel(PCIDevice *d, u32 addr, u32 val);
   9 void pci_config_writew(PCIDevice *d, u32 addr, u16 val);
  10 void pci_config_writeb(PCIDevice *d, u32 addr, u8 val);
  11 u32 pci_config_readl(PCIDevice *d, u32 addr);
  12 u16 pci_config_readw(PCIDevice *d, u32 addr);
  13 u8 pci_config_readb(PCIDevice *d, u32 addr);