Lines Matching refs:timer
32 * \file dev/xen/timer/timer.c
33 * \brief A timer driver for the Xen hypervisor's PV clock.
67 #include <dev/xen/timer/timer.h>
90 uint64_t timer;
121 KASSERT((xen_domain()), ("Trying to use Xen timer on bare metal"));
125 * timer interrupts to the correct CPU for CPUs other than 0.
127 * each VCPU's timer information and the Xen wallclock time.
271 * \brief Handle a timer interrupt for the Xen PV timer driver.
273 * \param arg Xen timer driver softc that is expecting the interrupt.
282 if (pcpu->timer != 0 && sc->et.et_active)
309 * \param et Xen timer driver event timer to schedule on.
342 panic("%s: Error %d setting singleshot timer to %"PRIu64"\n",
345 pcpu->timer = next_time;
350 * \brief Cancel the event timer's currently running timer, if any.
358 pcpu->timer = 0;
363 * \brief Attach a Xen PV timer driver instance.
385 device_printf(dev, "Error disabling Xen periodic timer "
400 /* Register the event timer. */
419 * guarantee that the Xen PV timer is resumed before any other device
424 * timer was directly attached to the nexus, but it is an issue now
425 * that the timer is attached to the xenpv bus, and thus resumed
431 * The underlying resolution is in nanoseconds, since the timer info
454 * 2. need to deregister event timer
475 /* Disable the periodic timer */
480 "Error disabling Xen periodic timer on CPU %d\n",