Symbol: sdhci_generic_reset
sys/dev/sdhci/sdhci.h
434
void sdhci_generic_reset(device_t brdev, struct sdhci_slot *slot, uint8_t mask);
sys/dev/sdhci/sdhci_fsl_fdt.c
1096
sdhci_generic_reset(dev, slot, mask);