432 	uint32_t reg_value = 0;  in card_reset()  local
435 	reg_value = mmio_read_32(cdns_params.reg_base + SDHC_CDNS_SRS10);  in card_reset()
438 		reg_value &= ~((7 << SDMMC_CDN_BVS) | (1 << SDMMC_CDN_BP));  in card_reset()
439 		reg_value = ((1 << SDMMC_CDN_BVS) | (1 << SDMMC_CDN_BP));  in card_reset()
441 		reg_value &= ~((7 << SDMMC_CDN_BVS) | (1 << SDMMC_CDN_BP));  in card_reset()
443 	mmio_write_32(cdns_params.reg_base + SDHC_CDNS_SRS10, reg_value);  in card_reset()
449 	uint32_t reg_value = 0;  in high_speed_enable()  local
451 	reg_value = mmio_read_32(cdns_params.reg_base + SDHC_CDNS_SRS10);  in high_speed_enable()
454 		reg_value |= HS_EN;  in high_speed_enable()
456 		reg_value &= ~HS_EN;  in high_speed_enable()
459 	mmio_write_32(cdns_params.reg_base + SDHC_CDNS_SRS10, reg_value);  in high_speed_enable()