HCR_TWI            28 arch/arm/include/asm/kvm_arm.h #define HCR_TWI		(1 << 13)
HCR_TWI            43 arch/arm64/include/asm/kvm_arm.h #define HCR_TWI		(UL(1) << 13)