HCR_TGE            14 arch/arm/include/asm/kvm_arm.h #define HCR_TGE		(1 << 27)
HCR_TGE            29 arch/arm64/include/asm/kvm_arm.h #define HCR_TGE		(UL(1) << 27)