DCE couldn't have helped here because the invocation of switch_compat
also depends on external input.
Signed-off-by: Wei Liu <wei.l...@citrix.com>
---
xen/include/xen/compat.h | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/xen/include/xen/compat.h b/xen/include/xen/compat.h
index 895e2ff..6f72353 100644
--- a/xen/include/xen/compat.h
+++ b/xen/include/xen/compat.h
@@ -228,7 +228,16 @@ struct vcpu_runstate_info;
void xlat_vcpu_runstate_info(struct vcpu_runstate_info *);
struct domain;
+
+#ifdef CONFIG_PV
int switch_compat(struct domain *);
+#else
+# include <xen/errno.h>
+static inline int switch_compat(struct domain *d)
+{
+ return -EINVAL;
+}
+#endif
#else
--
git-series 0.9.1
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
