ARM_BASE_BVR
write_wb_reg(ARM_BASE_BVR + i, 0UL);
val_base = ARM_BASE_BVR;
val_base = ARM_BASE_BVR + core_num_brps;
val = read_wb_reg(ARM_BASE_BVR + i);