Searched refs:pcib (Results 1 – 1 of 1) sorted by relevance
199 void mptable_pci_host_res_init(device_t pcib);202 int mptable_pci_route_interrupt(device_t pcib, device_t dev, int pin);