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