File valgrind.xen-4.7-define-SCHEDOP-put-getvcpuinfo.patch of Package valgrind
From: Olaf Hering <olaf@aepfle.de>
Date: Fri, 16 Nov 2018 17:21:28 +0100
Subject: xen-4.7: define SCHEDOP put/getvcpuinfo
Add defines for XEN_DOMCTL_SCHEDOP_putvcpuinfo and XEN_DOMCTL_SCHEDOP_getvcpuinfo
bz#390553
---
include/vki/vki-xen-domctl.h | 2 ++
1 file changed, 2 insertions(+)
--- a/include/vki/vki-xen-domctl.h
+++ b/include/vki/vki-xen-domctl.h
@@ -324,24 +324,26 @@ struct vki_xen_domctl_getvcpuinfo {
};
struct vki_xen_domctl_scheduler_op {
vki_uint32_t sched_id; /* VKI_XEN_SCHEDULER_* */
#define VKI_XEN_SCHEDULER_SEDF 4
#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
+#define VKI_XEN_DOMCTL_SCHEDOP_putvcpuinfo 2
+#define VKI_XEN_DOMCTL_SCHEDOP_getvcpuinfo 3
union {
struct xen_domctl_sched_sedf {
vki_xen_uint64_aligned_t period;
vki_xen_uint64_aligned_t slice;
vki_xen_uint64_aligned_t latency;
vki_uint32_t extratime;
vki_uint32_t weight;
} sedf;
struct xen_domctl_sched_credit {
vki_uint16_t weight;
vki_uint16_t cap;
} credit;