vmm/io/vtimer.c

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
133 	 * Configure the Counter-timer Hypervisor Control Register for the VM.
154 	 * Configure physical timer interrupts for the VCPU.
157 	 * ~CNTP_CTL_ENABLE: disable the timer
194 		/* The active VM was destroyed, stop the timer. */
209 	struct vtimer_timer *timer;
212 	timer = &hypctx->vtimer_cpu.virt_timer;
215 	if (!timer_enabled(timer->cntx_ctl_el0)) {
217 		    timer->irqid, false);
218 	} else if (timer->cntx_cval_el0 < cntpct_el0) {
220 		    timer->irqid, true);
223 		    timer->irqid, false);
252 	struct vtimer_timer *timer;
257 		timer = &hypctx->vtimer_cpu.phys_timer;
259 		timer = &hypctx->vtimer_cpu.virt_timer;
262 	if (timer->cntx_cval_el0 < cntpct_el0) {
265 		    timer->irqid, true);
267 		diff = timer->cntx_cval_el0 - cntpct_el0;
270 			callout_reset_sbt(&timer->callout, time, 0,
273 			callout_reset_sbt(&timer->callout, time, 0,
282 	struct vtimer_timer *timer;
285 	timer = &vtimer_cpu->phys_timer;
287 	callout_drain(&timer->callout);
290 	 * function having been executed. The timer interrupt can be masked with
294 	vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(vcpu), timer->irqid, false);
300  * The guest should use the virtual timer, however some software, e.g. u-boot,
301  * used the physical timer. Emulate this in software for the guest to use.
304  * times. This simplifies interrupt handling in the virtual timer as the
423 		 * TVAL when the timer is disabled is UNKNOWN. I have chosen to
425 		 * timer will fire very far into the future.
469 	device_set_desc(dev, "Virtual timer");