Symbol: ahci_detached
sys/dev/ahci/ahci.c
950
ahci_detached(device_get_parent(dev), ch);
sys/dev/ahci/ahci.h
673
void ahci_detached(device_t dev, struct ahci_channel *ch);