Symbol: ID_AA64MMFR2_VARange_SHIFT
sys/arm64/include/armreg.h
1474
#define ID_AA64MMFR2_VARange_MASK (UL(0xf) << ID_AA64MMFR2_VARange_SHIFT)
sys/arm64/include/armreg.h
1476
#define ID_AA64MMFR2_VARange_48 (UL(0x0) << ID_AA64MMFR2_VARange_SHIFT)
sys/arm64/include/armreg.h
1477
#define ID_AA64MMFR2_VARange_52 (UL(0x1) << ID_AA64MMFR2_VARange_SHIFT)