SYS_CNTV_CVAL     354 virt/kvm/arm/arch_timer.c 		ctx->cnt_cval = read_sysreg_el0(SYS_CNTV_CVAL);
SYS_CNTV_CVAL     432 virt/kvm/arm/arch_timer.c 		write_sysreg_el0(ctx->cnt_cval, SYS_CNTV_CVAL);