KVM_T0SZ          142 arch/arm/include/asm/kvm_arm.h #define KVM_VTCR_T0SZ	(KVM_T0SZ & VTCR_T0SZ)
KVM_T0SZ          147 arch/arm/include/asm/kvm_arm.h #define VTTBR_X		(14 - KVM_T0SZ)
KVM_T0SZ          149 arch/arm/include/asm/kvm_arm.h #define VTTBR_X		(5 - KVM_T0SZ)