stfpcie_make_tag
pcitag_t stfpcie_make_tag(void *, int, int, int);
sc->sc_pc.pc_make_tag = stfpcie_make_tag;