Symbol: wdc_childdetached
sys/dev/ic/wdcvar.h
153
void wdc_childdetached(device_t, device_t);
sys/dev/isa/wdc_isa.c
74
wdc_childdetached, DVF_DETACH_SHUTDOWN);