util/vgabios/pci-userspace.h

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #ifndef __PCI_USERSPACE_H__
   4 #define __PCI_USERSPACE_H__
   5
   6 struct device {
   7         int busno;
   8         int slot;
   9         int func;
  10 };
  11
  12 int pci_initialize(void);
  13 int pci_exit(void);
  14
  15 u8 pci_read_config8(struct device *dev, unsigned int where);
  16 u16 pci_read_config16(struct device *dev, unsigned int where);
  17 u32 pci_read_config32(struct device *dev, unsigned int where);
  18 void pci_write_config8(struct device *dev, unsigned int where, u8 val);
  19 void pci_write_config16(struct device *dev, unsigned int where, u16 val);
  20 void pci_write_config32(struct device *dev, unsigned int where, u32 val);
  21
  22 #endif