c14_CNTKCTL       501 arch/arm/kvm/coproc.c 			NULL, reset_val, c14_CNTKCTL, 0x00000000 },
c14_CNTKCTL        42 arch/arm/kvm/hyp/cp15-sr.c 	ctxt->cp15[c14_CNTKCTL]		= read_sysreg(CNTKCTL);
c14_CNTKCTL        71 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(ctxt->cp15[c14_CNTKCTL],	CNTKCTL);