diff options
author | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2015-06-28 16:48:22 +0000 |
---|---|---|
committer | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2015-06-28 16:48:22 +0000 |
commit | 4766ebd8688034eab43fb08c3402628012426b55 (patch) | |
tree | c9510bee74c3be21853c7182fa5727cd1fb7c2b5 /include | |
parent | 7253e7bf7720b6fa70007b1610fa76da26f10858 (diff) | |
download | valgrind-4766ebd8688034eab43fb08c3402628012426b55.tar.gz |
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
Diffstat (limited to 'include')
-rw-r--r-- | include/vki/vki-xen.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/vki/vki-xen.h b/include/vki/vki-xen.h index e2f3d817b..cf24ed666 100644 --- a/include/vki/vki-xen.h +++ b/include/vki/vki-xen.h @@ -80,6 +80,7 @@ struct vki_xenctl_bitmap { #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> |