HCR_VF             35 arch/arm/include/asm/kvm_arm.h #define HCR_VF		(1 << 6)
HCR_VF             50 arch/arm64/include/asm/kvm_arm.h #define HCR_VF		(UL(1) << 6)