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