AARCH64_DBG_REG_WCR
GEN_READ_WB_REG_CASES(AARCH64_DBG_REG_WCR, AARCH64_DBG_REG_NAME_WCR, val);
GEN_WRITE_WB_REG_CASES(AARCH64_DBG_REG_WCR, AARCH64_DBG_REG_NAME_WCR, val);
ctrl_reg = AARCH64_DBG_REG_WCR;
case AARCH64_DBG_REG_WCR:
ctrl_reg = read_wb_reg(AARCH64_DBG_REG_WCR, i);
toggle_bp_registers(AARCH64_DBG_REG_WCR, DBG_ACTIVE_EL0, 0);
toggle_bp_registers(AARCH64_DBG_REG_WCR, DBG_ACTIVE_EL1, 0);
toggle_bp_registers(AARCH64_DBG_REG_WCR, DBG_ACTIVE_EL0, 1);
toggle_bp_registers(AARCH64_DBG_REG_WCR, DBG_ACTIVE_EL1, 1);
toggle_bp_registers(AARCH64_DBG_REG_WCR, DBG_ACTIVE_EL0, 1);
toggle_bp_registers(AARCH64_DBG_REG_WCR,
write_wb_reg(AARCH64_DBG_REG_WCR, i, 0UL);