Symbol: ID_AA64DFR0_WRPS_SHIFT
sys/arch/arm64/include/armreg.h
281
#define ID_AA64DFR0_WRPS_MASK (0xfULL << ID_AA64DFR0_WRPS_SHIFT)
sys/arch/arm64/include/armreg.h
283
((((x) >> ID_AA64DFR0_WRPS_SHIFT) & 0xf) + 1)