INTEL_HS400_ES_REG
val = sdhci_readl(host, INTEL_HS400_ES_REG);
sdhci_writel(host, val, INTEL_HS400_ES_REG);