Searched refs:cntpct_el0 (Results 1 – 1 of 1) sorted by relevance
69 uint64_t cntpct_el0; in vtimer_virtual_timer_intr() local90 cntpct_el0 = READ_SPECIALREG(cntpct_el0) - in vtimer_virtual_timer_intr()92 if (hypctx->vtimer_cpu.virt_timer.cntx_cval_el0 < cntpct_el0) in vtimer_virtual_timer_intr()169 now = READ_SPECIALREG(cntpct_el0); in vtimer_vminit()238 uint64_t cntpct_el0; in vtimer_sync_hwstate() local241 cntpct_el0 = READ_SPECIALREG(cntpct_el0) - in vtimer_sync_hwstate()246 } else if (timer->cntx_cval_el0 < cntpct_el0) { in vtimer_sync_hwstate()281 uint64_t cntpct_el0; in vtimer_schedule_irq() local288 cntpct_el0 = READ_SPECIALREG(cntpct_el0) - in vtimer_schedule_irq()290 if (timer->cntx_cval_el0 < cntpct_el0) { in vtimer_schedule_irq()[all …]