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)