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)