SYS_CNTV_CTL      240 virt/kvm/arm/arch_timer.c 			cnt_ctl = read_sysreg_el0(SYS_CNTV_CTL);
SYS_CNTV_CTL      353 virt/kvm/arm/arch_timer.c 		ctx->cnt_ctl = read_sysreg_el0(SYS_CNTV_CTL);
SYS_CNTV_CTL      357 virt/kvm/arm/arch_timer.c 		write_sysreg_el0(0, SYS_CNTV_CTL);
SYS_CNTV_CTL      434 virt/kvm/arm/arch_timer.c 		write_sysreg_el0(ctx->cnt_ctl, SYS_CNTV_CTL);