HCR_TID3           23 arch/arm/include/asm/kvm_arm.h #define HCR_TID3	(1 << 18)
HCR_TID3           38 arch/arm64/include/asm/kvm_arm.h #define HCR_TID3	(UL(1) << 18)