Symbol: mvkpcie_bus_maxdevs
sys/dev/fdt/mvkpcie.c
230
int mvkpcie_bus_maxdevs(void *, int);
sys/dev/fdt/mvkpcie.c
520
sc->sc_pc.pc_bus_maxdevs = mvkpcie_bus_maxdevs;