DBG_BRP_MAX
for (i = 0; i < DBG_BRP_MAX; i++) {
uint64_t dbg_bcr[DBG_BRP_MAX];
uint64_t dbg_bvr[DBG_BRP_MAX];