HCR_TTLB           16 arch/arm/include/asm/kvm_arm.h #define HCR_TTLB	(1 << 25)
HCR_TTLB           31 arch/arm64/include/asm/kvm_arm.h #define HCR_TTLB	(UL(1) << 25)