TCR_EL2_PS_SHIFT   88 arch/arm64/include/asm/kvm_arm.h #define TCR_EL2_PS_MASK		(7 << TCR_EL2_PS_SHIFT)
TCR_EL2_PS_SHIFT   89 arch/arm64/include/asm/kvm_arm.h #define TCR_EL2_PS_40B		(2 << TCR_EL2_PS_SHIFT)
TCR_EL2_PS_SHIFT  102 arch/arm64/include/asm/kvm_arm.h #define VTCR_EL2_PS_SHIFT	TCR_EL2_PS_SHIFT