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