From 75877659b0ba15eba3a512b3386247e678c33416 Mon Sep 17 00:00:00 2001
From: Julien Grall <julien.grall@linaro.org>
Date: Tue, 14 Jan 2014 01:41:06 +0000
Subject: [PATCH 13/48] xen/hypervisor: Be sure to set
 __XEN_INTERFACE_VERSION__

On some headers xen-os.h is not included. Xen headers will define
__XEN_INTERFACE_VERSION__ to 0. This will result to use the wrong interface
version.
---
 sys/xen/hypervisor.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sys/xen/hypervisor.h b/sys/xen/hypervisor.h
index 96e5582..9cf18a4 100644
--- a/sys/xen/hypervisor.h
+++ b/sys/xen/hypervisor.h
@@ -29,6 +29,7 @@
 
 #include <sys/cdefs.h>
 #include <sys/systm.h>
+#include <xen/xen-os.h>
 #include <xen/interface/xen.h>
 #include <xen/interface/platform.h>
 #include <xen/interface/event_channel.h>
-- 
2.1.0