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); 9