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