ID_AA64DFR0_WRPs_VAL
dbg_watchpoint_num = ID_AA64DFR0_WRPs_VAL(aa64dfr0);
nwtpts = ID_AA64DFR0_WRPs_VAL(dfr0) >> ID_AA64DFR0_WRPs_SHIFT;
switch (ID_AA64DFR0_WRPs_VAL(dfr0) - 1) {
switch (ID_AA64DFR0_WRPs_VAL(dfr0) - 1) {