HCR_PTW            39 arch/arm/include/asm/kvm_arm.h #define HCR_PTW		(1 << 2)
HCR_PTW            54 arch/arm64/include/asm/kvm_arm.h #define HCR_PTW		(UL(1) << 2)