HCR_TPC            18 arch/arm/include/asm/kvm_arm.h #define HCR_TPC		(1 << 23)
HCR_TPC            33 arch/arm64/include/asm/kvm_arm.h #define HCR_TPC		(UL(1) << 23)