Searched refs:cntv_ctl (Results 1 – 2 of 2) sorted by relevance
70 uint32_t cntv_ctl; in vtimer_virtual_timer_intr() local73 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() local223 cntv_ctl = READ_SPECIALREG(cntv_ctl_el0); in vtimer_vmcleanup()[all …]
235 set_el0(cntv_ctl, val); in set_ctrl()262 val = get_el0(cntv_ctl); in get_ctrl()