HCR_TSW            19 arch/arm/include/asm/kvm_arm.h #define HCR_TSW		(1 << 22)
HCR_TSW            34 arch/arm64/include/asm/kvm_arm.h #define HCR_TSW		(UL(1) << 22)