24 	uint32_t value = 0U;  in cdns_sdmmc_write_phy_reg()  local
27 	value = mmio_read_32(phy_reg_addr);  in cdns_sdmmc_write_phy_reg()
28 	value &= ~PHY_REG_ADDR_MASK;  in cdns_sdmmc_write_phy_reg()
29 	value |= phy_reg_addr_value;  in cdns_sdmmc_write_phy_reg()
30 	mmio_write_32(phy_reg_addr, value);  in cdns_sdmmc_write_phy_reg()
38 	value &= ~PHY_REG_DATA_MASK;  in cdns_sdmmc_write_phy_reg()
39 	value |= phy_reg_data_value;  in cdns_sdmmc_write_phy_reg()
40 	mmio_write_32(phy_reg_data, value);  in cdns_sdmmc_write_phy_reg()
52 	uint32_t value = 0;  in cdns_sd_card_detect()  local
56 		value = mmio_read_32(SDMMC_CDN(SRS09));  in cdns_sd_card_detect()
58 	} while ((value & (1 << SDMMC_CDN_CI)) == 0);  in cdns_sd_card_detect()
60 	if ((value & (1 << SDMMC_CDN_CI)) == 0) {  in cdns_sd_card_detect()