HCR_DC             29 arch/arm/include/asm/kvm_arm.h #define HCR_DC		(1 << 12)
HCR_DC             44 arch/arm64/include/asm/kvm_arm.h #define HCR_DC		(UL(1) << 12)