Symbol: ifpga_pci_bus_maxdevs
sys/arch/evbarm/ifpga/ifpga_pci.c
105
.pc_bus_maxdevs = ifpga_pci_bus_maxdevs,
sys/arch/evbarm/ifpga/ifpga_pci.c
89
int ifpga_pci_bus_maxdevs (void *, int);