Symbol: ID_AA64MMFR2_VA_RANGE_SHIFT
headers/private/kernel/arch/arm64/arm_registers.h
431
#define ID_AA64MMFR2_VA_RANGE_MASK (0xf << ID_AA64MMFR2_VA_RANGE_SHIFT)
headers/private/kernel/arch/arm64/arm_registers.h
433
#define ID_AA64MMFR2_VA_RANGE_48 (0x0 << ID_AA64MMFR2_VA_RANGE_SHIFT)
headers/private/kernel/arch/arm64/arm_registers.h
434
#define ID_AA64MMFR2_VA_RANGE_52 (0x1 << ID_AA64MMFR2_VA_RANGE_SHIFT)