sys/arch/ia64/include/pci_machdep.h

   1 typedef int pci_chipset_tag_t;
   2 typedef int pci_intr_handle_t;
   3 typedef int pcitag_t;
   4
   5 pcireg_t pci_conf_read(pci_chipset_tag_t pc, pcitag_t tag, int reg);
   6 void pci_conf_write(pci_chipset_tag_t pc, pcitag_t tag, int reg, pcireg_t val);
   7
   8 pcitag_t pci_make_tag(pci_chipset_tag_t pc, int bus, int device, int function);