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.

diff --git a/sys/xen/hypervisor.h b/sys/xen/hypervisor.h
index 561042cdc23e5b57ebde253b2ff9e2936fe4f4ad..34300fe46aac5e73a9f0c965992bccf62ff91d8e 100644 (file)
--- a/sys/xen/hypervisor.h
+++ b/sys/xen/hypervisor.h
@@ -13,6 +13,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>