Lines Matching refs:cval
112 t->cval = NOW(); in vcpu_vtimer_init()
146 v->arch.virt_timer.cval = READ_SYSREG64(CNTV_CVAL_EL0); in virt_timer_save()
150 set_timer(&v->arch.virt_timer.timer, ticks_to_ns(v->arch.virt_timer.cval + in virt_timer_save()
165 WRITE_SYSREG64(v->arch.virt_timer.cval, CNTV_CVAL_EL0); in virt_timer_restore()
191 v->arch.phys_timer.cval + v->domain->arch.phys_timer_base.offset); in vtimer_cntp_ctl()
212 *r = (uint32_t)(ns_to_ticks(v->arch.phys_timer.cval - now) & 0xffffffffull); in vtimer_cntp_tval()
216 v->arch.phys_timer.cval = now + ticks_to_ns(*r); in vtimer_cntp_tval()
221 v->arch.phys_timer.cval + in vtimer_cntp_tval()
238 *r = ns_to_ticks(v->arch.phys_timer.cval); in vtimer_cntp_cval()
242 v->arch.phys_timer.cval = ticks_to_ns(*r); in vtimer_cntp_cval()
247 v->arch.phys_timer.cval + in vtimer_cntp_cval()