File valgrind.xen-4.9-define-NULL-scheduler.patch of Package valgrind

From: Olaf Hering <olaf@aepfle.de>
Date: Fri, 16 Nov 2018 17:29:34 +0100
Subject: xen-4.9: define NULL scheduler

Add define for XEN_SCHEDULER_NULL

bz#390553
---
 include/vki/vki-xen-domctl.h | 1 +
 1 file changed, 1 insertion(+)

--- a/include/vki/vki-xen-domctl.h
+++ b/include/vki/vki-xen-domctl.h
@@ -324,24 +324,25 @@ struct vki_xen_domctl_getvcpuinfo {
     vki_uint8_t  running;             /* currently scheduled on its CPU? */
     vki_xen_uint64_aligned_t cpu_time;/* total cpu time consumed (ns) */
     vki_uint32_t cpu;                 /* current mapping   */
 };
 
 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
+#define VKI_XEN_SCHEDULER_NULL     9
     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;