diff options
author | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2015-06-28 16:33:04 +0000 |
---|---|---|
committer | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2015-06-28 16:33:04 +0000 |
commit | f853f56d64be2791ec688eecbc0e8f8ab5577b0f (patch) | |
tree | c11ca804f507b041fc45a9b5c8668190f6d50137 /include/vki | |
parent | 0364d0cd12abd195efa048c941fbf4a3300e8b81 (diff) | |
download | valgrind-f853f56d64be2791ec688eecbc0e8f8ab5577b0f.tar.gz |
xen: Add domctl interface version 0x0000000a
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15366 a5019735-40e9-0310-863c-91ae7b9d1cf9
Diffstat (limited to 'include/vki')
-rw-r--r-- | include/vki/vki-xen-domctl.h | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/include/vki/vki-xen-domctl.h b/include/vki/vki-xen-domctl.h index f90583f50..5e9902b8f 100644 --- a/include/vki/vki-xen-domctl.h +++ b/include/vki/vki-xen-domctl.h @@ -173,11 +173,20 @@ struct vki_xen_domctl_getpageframeinfo3 { VKI_XEN_GUEST_HANDLE_64(vki_xen_pfn_t) array; /* IN/OUT */ }; -struct vki_xen_domctl_vcpuaffinity { +struct vki_xen_domctl_vcpuaffinity_00000009 { vki_uint32_t vcpu; /* IN */ struct vki_xenctl_bitmap cpumap; /* IN/OUT */ }; +struct vki_xen_domctl_vcpuaffinity_0000000a { + vki_uint32_t vcpu; /* IN */ +#define VKI_XEN_VCPUAFFINITY_HARD (1U<<0) +#define VKI_XEN_VCPUAFFINITY_SOFT (1U<<1) + vki_uint32_t flags; /* IN */ + struct vki_xenctl_bitmap cpumap_hard; /* IN/OUT */ + struct vki_xenctl_bitmap cpumap_soft; /* IN/OUT */ +}; + struct vki_xen_domctl_shadow_op_stats { vki_uint32_t fault_count; vki_uint32_t dirty_count; @@ -239,6 +248,7 @@ struct vki_xen_domctl_scheduler_op { #define VKI_XEN_SCHEDULER_CREDIT 5 #define VKI_XEN_SCHEDULER_CREDIT2 6 #define VKI_XEN_SCHEDULER_ARINC653 7 +#define VKI_XEN_SCHEDULER_RTDS 8 vki_uint32_t cmd; /* VKI_XEN_DOMCTL_SCHEDOP_* */ #define VKI_XEN_DOMCTL_SCHEDOP_putinfo 0 #define VKI_XEN_DOMCTL_SCHEDOP_getinfo 1 @@ -257,6 +267,10 @@ struct vki_xen_domctl_scheduler_op { struct xen_domctl_sched_credit2 { vki_uint16_t weight; } credit2; + struct xen_domctl_sched_rtds { + vki_uint32_t period; + vki_uint32_t budget; + } rtds; } u; }; @@ -366,7 +380,8 @@ struct vki_xen_domctl { //struct vki_xen_domctl_getpageframeinfo2 getpageframeinfo2; struct vki_xen_domctl_getpageframeinfo3 getpageframeinfo3; struct vki_xen_domctl_nodeaffinity nodeaffinity; - struct vki_xen_domctl_vcpuaffinity vcpuaffinity; + struct vki_xen_domctl_vcpuaffinity_00000009 vcpuaffinity_00000009; + struct vki_xen_domctl_vcpuaffinity_0000000a vcpuaffinity_0000000a; struct vki_xen_domctl_shadow_op shadow_op; struct vki_xen_domctl_max_mem max_mem; struct vki_xen_domctl_vcpucontext vcpucontext; |