ID_AA64DFR0_BRPS_SHIFT
#define ID_AA64DFR0_BRPS_MASK (0xf << ID_AA64DFR0_BRPS_SHIFT)
((((x) >> ID_AA64DFR0_BRPS_SHIFT) & 0xf) + 1)
