Lines Matching refs:virt_timer
118 t = &v->arch.virt_timer; in vcpu_vtimer_init()
136 kill_timer(&v->arch.virt_timer.timer); in vcpu_timer_destroy()
144 v->arch.virt_timer.ctl = READ_SYSREG32(CNTV_CTL_EL0); in virt_timer_save()
145 WRITE_SYSREG32(v->arch.virt_timer.ctl & ~CNTx_CTL_ENABLE, CNTV_CTL_EL0); in virt_timer_save()
146 v->arch.virt_timer.cval = READ_SYSREG64(CNTV_CVAL_EL0); in virt_timer_save()
147 if ( (v->arch.virt_timer.ctl & CNTx_CTL_ENABLE) && in virt_timer_save()
148 !(v->arch.virt_timer.ctl & CNTx_CTL_MASK)) in virt_timer_save()
150 set_timer(&v->arch.virt_timer.timer, ticks_to_ns(v->arch.virt_timer.cval + in virt_timer_save()
160 stop_timer(&v->arch.virt_timer.timer); in virt_timer_restore()
161 migrate_timer(&v->arch.virt_timer.timer, v->processor); in virt_timer_restore()
165 WRITE_SYSREG64(v->arch.virt_timer.cval, CNTV_CVAL_EL0); in virt_timer_restore()
166 WRITE_SYSREG32(v->arch.virt_timer.ctl, CNTV_CTL_EL0); in virt_timer_restore()