c14_CNTKCTL       131 arch/arm/include/asm/kvm_host.h 	c14_CNTKCTL,		/* Timer Control Register (PL1) */
c14_CNTKCTL       203 arch/arm64/include/asm/kvm_host.h #define c14_CNTKCTL	(CNTKCTL_EL1 * 2) /* Timer Control Register (PL1) */