File valgrind.xen-4.1-fix-xen_domctl_getdomaininfo-layout.patch of Package valgrind

From: Olaf Hering <olaf@aepfle.de>
Date: Wed, 26 Feb 2020 16:29:27 +0100
Subject: xen-4.1: fix xen_domctl_getdomaininfo layout

With Xen 4.2 the member paged_pages was added.
Remove it from vki_xen_domctl_getdomaininfo_00000007 for Xen 4.1.

Fixes commit 3fd464fbf3c576407beedd98507344fdb421ae5b

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

--- a/include/vki/vki-xen-domctl.h
+++ b/include/vki/vki-xen-domctl.h
@@ -132,25 +132,24 @@ struct vki_xen_domctl_createdomain_00000004 {
     vki_uint32_t ssidref;
     vki_xen_domain_handle_t handle;
     vki_uint32_t flags;
 };
 
 struct vki_xen_domctl_getdomaininfo_00000007 {
     /* OUT variables. */
     vki_xen_domid_t  domain;
     vki_uint32_t flags;
     vki_xen_uint64_aligned_t tot_pages;
     vki_xen_uint64_aligned_t max_pages;
     vki_xen_uint64_aligned_t shr_pages;
-    vki_xen_uint64_aligned_t paged_pages;
     vki_xen_uint64_aligned_t shared_info_frame;
     vki_xen_uint64_aligned_t cpu_time;
     vki_uint32_t nr_online_vcpus;
     vki_uint32_t max_vcpu_id;
     vki_uint32_t ssidref;
     vki_xen_domain_handle_t handle;
     vki_uint32_t cpupool;
 };
 typedef struct vki_xen_domctl_getdomaininfo_00000007 vki_xen_domctl_getdomaininfo_00000007_t;
 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_getdomaininfo_00000007_t);
 
 struct vki_xen_domctl_getdomaininfo_00000008 {