Lines Matching refs:cntv_ctl
70 uint32_t cntv_ctl; in vtimer_virtual_timer_intr() local
73 cntv_ctl = READ_SPECIALREG(cntv_ctl_el0); in vtimer_virtual_timer_intr()
78 cntv_ctl = READ_SPECIALREG(cntv_ctl_el0); in vtimer_virtual_timer_intr()
81 if (!timer_enabled(cntv_ctl)) { in vtimer_virtual_timer_intr()
85 if (!timer_condition_met(cntv_ctl)) { in vtimer_virtual_timer_intr()
96 cntv_ctl = hypctx->vtimer_cpu.virt_timer.cntx_ctl_el0; in vtimer_virtual_timer_intr()
107 cntv_ctl &= ~CNTP_CTL_ENABLE; in vtimer_virtual_timer_intr()
108 WRITE_SPECIALREG(cntv_ctl_el0, cntv_ctl); in vtimer_virtual_timer_intr()
218 uint32_t cntv_ctl; in vtimer_vmcleanup() local
223 cntv_ctl = READ_SPECIALREG(cntv_ctl_el0); in vtimer_vmcleanup()
224 cntv_ctl &= ~CNTP_CTL_ENABLE; in vtimer_vmcleanup()
225 WRITE_SPECIALREG(cntv_ctl_el0, cntv_ctl); in vtimer_vmcleanup()