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