Lines Matching full:xen

32  * \file dev/xen/timer/xen_timer.c
33  * \brief A timer driver for the Xen hypervisor's PV clock.
49 #include <xen/xen-os.h>
50 #include <xen/features.h>
51 #include <xen/xen_intr.h>
52 #include <xen/hypervisor.h>
53 #include <contrib/xen/io/xenbus.h>
54 #include <contrib/xen/vcpu.h>
55 #include <xen/error.h>
64 #include <dev/xen/timer/timer.h>
73 /* Xen timers may fire up to 100us off */
106 	/* Handle all Xen PV timers in one device instance. */  in xentimer_identify()
116 	KASSERT((xen_domain()), ("Trying to use Xen timer on bare metal"));  in xentimer_probe()
122 	 *   each VCPU's timer information and the Xen wallclock time.  in xentimer_probe()
146 	device_set_desc(dev, "Xen PV Clock");  in xentimer_probe()
184  * \brief Fetch the hypervisor boot time, known as the "Xen wallclock".
237 		device_printf(dev, "failed to set Xen PV clock: %d\n", ret);  in xentimer_settime()
243  * \brief Return current time according to the Xen Hypervisor wallclock.
248  * \note  The Xen time structures document the hypervisor start time and the
266  * \brief Handle a timer interrupt for the Xen PV timer driver.
268  * \param arg	Xen timer driver softc that is expecting the interrupt.
304  * \param et	Xen timer driver event timer to schedule on.
358  * \brief Attach a Xen PV timer driver instance.
380 			device_printf(dev, "Error disabling Xen periodic timer "  in xentimer_attach()
414 	 * guarantee that the Xen PV timer is resumed before any other device  in xentimer_attach()
446 	/* Implement Xen PV clock teardown - XXX see hpet_detach ? */  in xentimer_detach()
475 			    "Error disabling Xen periodic timer on CPU %d\n",  in xentimer_resume()
503  * Xen early clock init
511  * Xen PV DELAY function
514  * make use of the Xen time info in order to code a simple DELAY