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