SYS_CNTP_CTL      243 virt/kvm/arm/arch_timer.c 			cnt_ctl = read_sysreg_el0(SYS_CNTP_CTL);
SYS_CNTP_CTL      362 virt/kvm/arm/arch_timer.c 		ctx->cnt_ctl = read_sysreg_el0(SYS_CNTP_CTL);
SYS_CNTP_CTL      366 virt/kvm/arm/arch_timer.c 		write_sysreg_el0(0, SYS_CNTP_CTL);
SYS_CNTP_CTL      439 virt/kvm/arm/arch_timer.c 		write_sysreg_el0(ctx->cnt_ctl, SYS_CNTP_CTL);