HCR_FB             32 arch/arm/include/asm/kvm_arm.h #define HCR_FB		(1 << 9)
HCR_FB             47 arch/arm64/include/asm/kvm_arm.h #define HCR_FB		(UL(1) << 9)