sys/arm64/include/armreg.h

1324

#define ID_AA64MMFR0_PARange_MASK (UL(0xf) << ID_AA64MMFR0_PARange_SHIFT)

sys/arm64/include/armreg.h

1326

#define ID_AA64MMFR0_PARange_4G (UL(0x0) << ID_AA64MMFR0_PARange_SHIFT)

sys/arm64/include/armreg.h

1327

#define ID_AA64MMFR0_PARange_64G (UL(0x1) << ID_AA64MMFR0_PARange_SHIFT)

sys/arm64/include/armreg.h

1328

#define ID_AA64MMFR0_PARange_1T (UL(0x2) << ID_AA64MMFR0_PARange_SHIFT)

sys/arm64/include/armreg.h

1329

#define ID_AA64MMFR0_PARange_4T (UL(0x3) << ID_AA64MMFR0_PARange_SHIFT)

sys/arm64/include/armreg.h

1330

#define ID_AA64MMFR0_PARange_16T (UL(0x4) << ID_AA64MMFR0_PARange_SHIFT)

sys/arm64/include/armreg.h

1331

#define ID_AA64MMFR0_PARange_256T (UL(0x5) << ID_AA64MMFR0_PARange_SHIFT)

sys/arm64/include/armreg.h

1332

#define ID_AA64MMFR0_PARange_4P (UL(0x6) << ID_AA64MMFR0_PARange_SHIFT)

sys/arm64/vmm/vmm_arm64.c

276

pa_range_bits = pa_range_field >> ID_AA64MMFR0_PARange_SHIFT;