ARM_BASE_BCR
write_wb_reg(ARM_BASE_BCR + i, 0UL);
ctrl_base = ARM_BASE_BCR;
ctrl_base = ARM_BASE_BCR + core_num_brps;
base = ARM_BASE_BCR;
base = ARM_BASE_BCR + core_num_brps;
ctrl_reg = read_wb_reg(ARM_BASE_BCR + i);