ifpga_pci_make_tag
.pc_make_tag = ifpga_pci_make_tag,
pcitag_t ifpga_pci_make_tag (void *, int, int, int);