HCR_TID2           24 arch/arm/include/asm/kvm_arm.h #define HCR_TID2	(1 << 17)
HCR_TID2           39 arch/arm64/include/asm/kvm_arm.h #define HCR_TID2	(UL(1) << 17)