ID_AA64DFR0_WRPS_SHIFT
#define ID_AA64DFR0_WRPS_MASK (0xf << ID_AA64DFR0_WRPS_SHIFT)
((((x) >> ID_AA64DFR0_WRPS_SHIFT) & 0xf) + 1)
