Symbol: mp_pci_childdetached
sys/arch/i386/i386/i386_mainbus.c
186
mp_pci_childdetached(self, child);
sys/arch/x86/include/mpconfig.h
84
void mp_pci_childdetached(device_t, device_t);