HCR_AMO            36 arch/arm/include/asm/kvm_arm.h #define HCR_AMO		(1 << 5)
HCR_AMO            51 arch/arm64/include/asm/kvm_arm.h #define HCR_AMO		(UL(1) << 5)