Lines Matching full:xen
108 #include <xen/xen-os.h>
109 #include <xen/blkif.h>
110 #include <xen/evtchn.h>
111 #include <xen/gnttab.h>
112 #include <xen/xen_intr.h>
114 #include <xen/hvm.h>
116 #include <contrib/xen/event_channel.h>
117 #include <contrib/xen/grant_table.h>
119 #include <xen/xenbus/xenbusvar.h>
168 printf("WARNING: xen/control: Suspend not supported!\n"); in xctrl_suspend()
311 panic("Xen directed crash"); in xctrl_crash()
389 * in a system operating under Xen. in xctrl_identify()
395 * \brief Probe for the existence of the Xen Control device
397 * \param dev NewBus device_t for this Xen control instance.
404 device_set_desc(dev, "Xen Control Device"); in xctrl_probe()
410 * \brief Attach the Xen control device.
412 * \param dev NewBus device_t for this Xen control instance.
445 * \brief Detach the Xen control device.
447 * \param dev NewBus device_t for this Xen control device instance.