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