Lines Matching full:xen
2 * xen/xen-os.h6 * Copyright (c) 2003, 2004 Keir Fraser (on behalf of the Xen team)39 #include <contrib/xen/xen.h>44 #include <xen/hvm.h>45 #include <contrib/xen/event_channel.h>110 #include <machine/xen/xen-os.h>118 * Those helpers are prefixed by xen_ because xen-os.h is widely included