octpcie_print
int octpcie_print(void *, const char *);
config_found(&sc->sc_dev, &pba, octpcie_print);