File valgrind.xen-4.13-obsolete-domctls.patch of Package valgrind

From: Olaf Hering <olaf@aepfle.de>
Date: Fri, 7 Feb 2020 19:39:01 +0100
Subject: xen-4.13: obsolete domctls

XEN_DOMCTL_set_cpuid
XEN_DOMCTL_set_machine_address_size
XEN_DOMCTL_get_machine_address_size
XEN_DOMCTL_suppress_spurious_page_faults

bz#390553
---
 include/vki/vki-xen-domctl.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

--- a/include/vki/vki-xen-domctl.h
+++ b/include/vki/vki-xen-domctl.h
@@ -92,29 +92,29 @@
 #define VKI_XEN_DOMCTL_assign_device                 37
 #define VKI_XEN_DOMCTL_bind_pt_irq                   38
 #define VKI_XEN_DOMCTL_memory_mapping                39
 #define VKI_XEN_DOMCTL_ioport_mapping                40
 #define VKI_XEN_DOMCTL_pin_mem_cacheattr             41
 #define VKI_XEN_DOMCTL_set_ext_vcpucontext           42
 #define VKI_XEN_DOMCTL_get_ext_vcpucontext           43
 #define VKI_XEN_DOMCTL_set_opt_feature               44 /*Obsolete IA64 only */
 #define VKI_XEN_DOMCTL_test_assign_device            45
 #define VKI_XEN_DOMCTL_set_target                    46
 #define VKI_XEN_DOMCTL_deassign_device               47
 #define VKI_XEN_DOMCTL_unbind_pt_irq                 48
-#define VKI_XEN_DOMCTL_set_cpuid                     49
+#define VKI_XEN_DOMCTL_set_cpuid                     49 /* Obsolete in 4.13 */
 #define VKI_XEN_DOMCTL_get_device_group              50
-#define VKI_XEN_DOMCTL_set_machine_address_size      51
-#define VKI_XEN_DOMCTL_get_machine_address_size      52
-#define VKI_XEN_DOMCTL_suppress_spurious_page_faults 53
+#define VKI_XEN_DOMCTL_set_machine_address_size      51 /* Obsolete in 4.13 */
+#define VKI_XEN_DOMCTL_get_machine_address_size      52 /* Obsolete in 4.13 */
+#define VKI_XEN_DOMCTL_suppress_spurious_page_faults 53 /* Obsolete in 4.13 */
 #define VKI_XEN_DOMCTL_debug_op                      54
 #define VKI_XEN_DOMCTL_gethvmcontext_partial         55
 #define VKI_XEN_DOMCTL_mem_event_op                  56
 #define VKI_XEN_DOMCTL_vm_event_op                   56 /* name change in 4.6 */
 #define VKI_XEN_DOMCTL_mem_sharing_op                57
 #define VKI_XEN_DOMCTL_disable_migrate               58
 #define VKI_XEN_DOMCTL_gettscinfo                    59
 #define VKI_XEN_DOMCTL_settscinfo                    60
 #define VKI_XEN_DOMCTL_getpageframeinfo3             61
 #define VKI_XEN_DOMCTL_setvcpuextstate               62
 #define VKI_XEN_DOMCTL_getvcpuextstate               63
 #define VKI_XEN_DOMCTL_set_access_required           64