src/include/device/pci_ops.h

   1 #ifndef PCI_OPS_H
   2 #define PCI_OPS_H
   3
   4 #include <stdint.h>
   5 #include <device/device.h>
   6
   7 uint8_t  pci_read_config8(device_t dev, unsigned where);
   8 uint16_t pci_read_config16(device_t dev, unsigned where);
   9 uint32_t pci_read_config32(device_t dev, unsigned where);
  10 void pci_write_config8(device_t dev, unsigned where, uint8_t val);
  11 void pci_write_config16(device_t dev, unsigned where, uint16_t val);
  12 void pci_write_config32(device_t dev, unsigned where, uint32_t val);
  13
  14 void pci_set_method(void);
  15
  16 #endif /* PCI_OPS_H */