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;