HCR_TIDCP          21 arch/arm/include/asm/kvm_arm.h #define HCR_TIDCP	(1 << 20)
HCR_TIDCP          36 arch/arm64/include/asm/kvm_arm.h #define HCR_TIDCP	(UL(1) << 20)