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