Lines Matching defs:timer

100 	 * Disable the timer interrupt. This will prevent the interrupt from
104 	 * This is safe to do because the guest disabled the timer, and then
118 	 * The guest *MUST* use the same timer frequency as the host. The
135 	 * Configure the Counter-timer Hypervisor Control Register for the VM.
182 	 * Configure physical timer interrupts for the VCPU.
185 	 * ~CNTP_CTL_ENABLE: disable the timer
222 		/* The active VM was destroyed, stop the timer. */
237 	struct vtimer_timer *timer;
240 	timer = &hypctx->vtimer_cpu.virt_timer;
243 	if (!timer_enabled(timer->cntx_ctl_el0)) {
245 		    timer->irqid, false);
246 	} else if (timer->cntx_cval_el0 < cntpct_el0) {
248 		    timer->irqid, true);
251 		    timer->irqid, false);
280 	struct vtimer_timer *timer;
285 		timer = &hypctx->vtimer_cpu.phys_timer;
287 		timer = &hypctx->vtimer_cpu.virt_timer;
290 	if (timer->cntx_cval_el0 < cntpct_el0) {
293 		    timer->irqid, true);
295 		diff = timer->cntx_cval_el0 - cntpct_el0;
298 			callout_reset_sbt(&timer->callout, time, 0,
301 			callout_reset_sbt(&timer->callout, time, 0,
310 	struct vtimer_timer *timer;
313 	timer = &vtimer_cpu->phys_timer;
315 	callout_drain(&timer->callout);
318 	 * function having been executed. The timer interrupt can be masked with
322 	vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(vcpu), timer->irqid, false);
328  * The guest should use the virtual timer, however some software, e.g. u-boot,
329  * used the physical timer. Emulate this in software for the guest to use.
332  * times. This simplifies interrupt handling in the virtual timer as the
451 		 * TVAL when the timer is disabled is UNKNOWN. I have chosen to
453 		 * timer will fire very far into the future.
497 	device_set_desc(dev, "Virtual timer");