ID_AA64DFR0_BRPs_VAL
dbg_breakpoint_num = ID_AA64DFR0_BRPs_VAL(aa64dfr0);
nbkpts = ID_AA64DFR0_BRPs_VAL(dfr0) >> ID_AA64DFR0_BRPs_SHIFT;
switch (ID_AA64DFR0_BRPs_VAL(dfr0) - 1) {
switch (ID_AA64DFR0_BRPs_VAL(dfr0) - 1) {