Symbol: stfpcie_bus_maxdevs
sys/arch/riscv64/dev/stfpcie.c
201
int stfpcie_bus_maxdevs(void *, int);
sys/arch/riscv64/dev/stfpcie.c
543
sc->sc_pc.pc_bus_maxdevs = stfpcie_bus_maxdevs;