HCR_TID0           26 arch/arm/include/asm/kvm_arm.h #define HCR_TID0	(1 << 15)
HCR_TID0           41 arch/arm64/include/asm/kvm_arm.h #define HCR_TID0	(UL(1) << 15)