69 	uint64_t cntpct_el0;  in vtimer_virtual_timer_intr()  local
90 	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()  local
241 	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()  local
288 	cntpct_el0 = READ_SPECIALREG(cntpct_el0) -  in vtimer_schedule_irq()
290 	if (timer->cntx_cval_el0 < cntpct_el0) {  in vtimer_schedule_irq()
295 		diff = timer->cntx_cval_el0 - cntpct_el0;  in vtimer_schedule_irq()
342 	uint64_t cntpct_el0;  in vtimer_phys_ctl_read()  local
348 	cntpct_el0 = READ_SPECIALREG(cntpct_el0) - hyp->vtimer.cntvoff_el2;  in vtimer_phys_ctl_read()
349 	if (vtimer_cpu->phys_timer.cntx_cval_el0 < cntpct_el0)  in vtimer_phys_ctl_read()
393 	*rval = READ_SPECIALREG(cntpct_el0) - hyp->vtimer.cntvoff_el2;  in vtimer_phys_cnt_read()
442 	uint32_t cntpct_el0;  in vtimer_phys_tval_read()  local
457 		cntpct_el0 = READ_SPECIALREG(cntpct_el0) -  in vtimer_phys_tval_read()
459 		*rval = vtimer_cpu->phys_timer.cntx_cval_el0 - cntpct_el0;  in vtimer_phys_tval_read()
471 	uint64_t cntpct_el0;  in vtimer_phys_tval_write()  local
477 	cntpct_el0 = READ_SPECIALREG(cntpct_el0) - hyp->vtimer.cntvoff_el2;  in vtimer_phys_tval_write()
478 	vtimer_cpu->phys_timer.cntx_cval_el0 = (int32_t)wval + cntpct_el0;  in vtimer_phys_tval_write()