Lines Matching full:xen
109 #include <xen/xen-os.h>
110 #include <xen/blkif.h>
111 #include <xen/evtchn.h>
112 #include <xen/gnttab.h>
113 #include <xen/xen_intr.h>
115 #include <xen/hvm.h>
117 #include <contrib/xen/event_channel.h>
118 #include <contrib/xen/grant_table.h>
120 #include <xen/xenbus/xenbusvar.h>
169 printf("WARNING: xen/control: Suspend not supported!\n"); in xctrl_suspend()
312 panic("Xen directed crash"); in xctrl_crash()
390 * in a system operating under Xen. in xctrl_identify()
396 * \brief Probe for the existence of the Xen Control device
398 * \param dev NewBus device_t for this Xen control instance.
405 device_set_desc(dev, "Xen Control Device"); in xctrl_probe()
411 * \brief Attach the Xen control device.
413 * \param dev NewBus device_t for this Xen control instance.
446 * \brief Detach the Xen control device.
448 * \param dev NewBus device_t for this Xen control device instance.