cntkctl_el1       158 arch/arm64/include/asm/arch_timer.h 	return read_sysreg(cntkctl_el1);
cntkctl_el1       163 arch/arm64/include/asm/arch_timer.h 	write_sysreg(cntkctl, cntkctl_el1);