<dec f='src/src/sys/arch/x86/include/mpconfig.h' l='84' type='void mp_pci_childdetached(device_t , device_t )'/>
<def f='src/src/sys/arch/x86/x86/mp.c' l='85' ll='98' type='void mp_pci_childdetached(device_t self, device_t child)'/>
