Ian Lepore d711ee2c29 Use SYSCTL_OUT_STR() to return strings. ... PR: 195668		2015-03-14 21:40:24 +00:00
..
evtchn	xen: import a proper event channel user-space device	2014-10-22 16:57:11 +00:00
interface	xen: implement the privcmd user-space device	2014-10-22 17:07:20 +00:00
xenbus	Use SYSCTL_OUT_STR() to return strings.	2015-03-14 21:40:24 +00:00
xenstore	xen: convert the xenstore user-space char device to a newbus device	2014-09-30 17:31:04 +00:00
blkif.h
error.h	xen: add a Xen to BSD error translation	2014-10-22 16:58:52 +00:00
evtchn.h
features.c
features.h
gnttab.h	xen: convert the Grant-table code to a NewBus device	2014-12-10 11:35:41 +00:00
hvm.h
hypervisor.h
privcmd.h	xen: implement the privcmd user-space device	2014-10-22 17:07:20 +00:00
xen_intr.h	xen: allow to register event channels without handlers	2014-10-22 16:51:52 +00:00
xen_msi.h	Pacify clang 3.3 by ending the file with a newline. This is common	2015-01-06 21:26:35 +00:00
xen_pci.h	xen: create a new PCI bus override	2014-12-09 18:03:25 +00:00
xen_pv.h	xen: add missing files	2014-06-16 08:54:04 +00:00
xen-os.h	Make this compile with gcc.	2014-04-05 22:43:18 +00:00