i80312_pci_make_tag
pcitag_t i80312_pci_make_tag(void *, int, int, int);
pc->pc_make_tag = i80312_pci_make_tag;