xen: Basic syswrap infrastructure for XEN_sched_op hypercalls
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15381 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/include/vki/vki-xen.h b/include/vki/vki-xen.h
index e2f3d81..cf24ed6 100644
--- a/include/vki/vki-xen.h
+++ b/include/vki/vki-xen.h
@@ -80,6 +80,7 @@
#include <vki/vki-xen-domctl.h>
#include <vki/vki-xen-sysctl.h>
#include <vki/vki-xen-mmuext.h>
+#include <vki/vki-xen-schedop.h>
#include <vki/vki-xen-memory.h>
#include <vki/vki-xen-evtchn.h>
#include <vki/vki-xen-gnttab.h>