ti_sdhci_read_1
while ((ti_sdhci_read_1(dev, NULL, SDHCI_SOFTWARE_RESET) &
DEVMETHOD(sdhci_read_1, ti_sdhci_read_1),