File valgrind.xen-4.7-define-SCHEDOP_pin_override.patch of Package valgrind

From: Olaf Hering <olaf@aepfle.de>
Date: Fri, 16 Nov 2018 17:21:30 +0100
Subject: xen-4.7: define SCHEDOP_pin_override

Add define for SCHEDOP_pin_override

bz#390553
---
 include/vki/vki-xen-schedop.h | 2 ++
 1 file changed, 2 insertions(+)

--- a/include/vki/vki-xen-schedop.h
+++ b/include/vki/vki-xen-schedop.h
@@ -36,13 +36,15 @@
 
 #define VKI_XEN_SCHEDOP_remote_shutdown 4
 struct vki_xen_remote_shutdown {
     vki_xen_domid_t domain_id;
     unsigned int reason;
 };
 typedef struct vki_xen_remote_shutdown vki_xen_remote_shutdown_t;
 
 #define VKI_XEN_SCHEDOP_shutdown_code   5
 
 #define VKI_XEN_SCHEDOP_watchdog        6
 
+#define VKI_XEN_SCHEDOP_pin_override    7
+
 #endif /* __VKI_XEN_SCHED_OP_H */