ARM_BASE_WCR
write_wb_reg(ARM_BASE_WCR + i, 0UL);
write_wb_reg(ARM_BASE_WCR, ctrl_reg);
if ((read_wb_reg(ARM_BASE_WCR) & ctrl_reg) == ctrl_reg)
ctrl_base = ARM_BASE_WCR;
base = ARM_BASE_WCR;
ctrl_reg = read_wb_reg(ARM_BASE_WCR + i);