UPSTREAM: arm64: dts: rockchip: add powerdomain for typec on rk3399
[firefly-linux-kernel-4.4.55.git] / drivers / xen / features.c
index 0707714e40d699d16032eae63fe0119c1ef3cad0..99eda169c77967ff72ca23ba25ac6026102ea18f 100644 (file)
@@ -8,7 +8,11 @@
 #include <linux/types.h>
 #include <linux/cache.h>
 #include <linux/module.h>
-#include <asm/xen/hypervisor.h>
+
+#include <asm/xen/hypercall.h>
+
+#include <xen/interface/xen.h>
+#include <xen/interface/version.h>
 #include <xen/features.h>
 
 u8 xen_features[XENFEAT_NR_SUBMAPS * 32] __read_mostly;