CNTKCTL            42 arch/arm/kvm/hyp/cp15-sr.c 	ctxt->cp15[c14_CNTKCTL]		= read_sysreg(CNTKCTL);
CNTKCTL            71 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(ctxt->cp15[c14_CNTKCTL],	CNTKCTL);