ian 7cb000b2d0 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

…

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_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-os.h

…