Symbol: TCR_EL2_PS_SHIFT
arch/arm64/include/asm/kvm_arm.h
117
#define TCR_EL2_PS_MASK (7 << TCR_EL2_PS_SHIFT)
arch/arm64/include/asm/kvm_arm.h
118
#define TCR_EL2_PS_40B (2 << TCR_EL2_PS_SHIFT)