vrc4172pci_make_tag
pc->pc_make_tag = vrc4172pci_make_tag;
tag == vrc4172pci_make_tag(pc, 0, 0, 1) &&
tag == vrc4172pci_make_tag(pc, 0, 0, 1) &&
static pcitag_t vrc4172pci_make_tag(pci_chipset_tag_t, int, int, int);