File valgrind.xen-4.2-handle-IOCTL_GNTALLOC_DEALLOC_... of Package valgrind

Overview Repositories Revisions Requests Users Attributes Meta

File valgrind.xen-4.2-handle-IOCTL_GNTALLOC_DEALLOC_GREF.patch of Package valgrind (Revision 805e4727b95db9760b2dbe4281880a6d)

Currently displaying revision 805e4727b95db9760b2dbe4281880a6d , Show latest

From: Olaf Hering <olaf@aepfle.de>
Date: Mon, 19 Nov 2018 10:49:49 +0100
Subject: xen-4.2: handle IOCTL_GNTALLOC_DEALLOC_GREF

bz#390553
---
 coregrind/m_syswrap/syswrap-linux.c | 12 ++++++++++++
 include/vki/vki-linux.h             |  7 +++++++
 2 files changed, 19 insertions(+)

--- a/coregrind/m_syswrap/syswrap-linux.c
+++ b/coregrind/m_syswrap/syswrap-linux.c
@@ -8514,24 +8514,33 @@ PRE(sys_ioctl)
       break;
    case VKI_XEN_IOCTL_GNTALLOC_ALLOC_GREF: {
       struct vki_xen_ioctl_gntalloc_alloc_gref *args =
          (struct vki_xen_ioctl_gntalloc_alloc_gref*)(Addr)(ARG3);
       PRE_MEM_READ("VKI_XEN_IOCTL_GNTALLOC_alloc_gref(domid)",
                   (Addr)&args->domid, sizeof(args->domid));
       PRE_MEM_READ("VKI_XEN_IOCTL_GNTALLOC_alloc_gref(flags)",
                   (Addr)&args->flags, sizeof(args->flags));
       PRE_MEM_READ("VKI_XEN_IOCTL_GNTALLOC_alloc_gref(count)",
                   (Addr)&args->count, sizeof(args->count));
       }
       break;
+   case VKI_XEN_IOCTL_GNTALLOC_DEALLOC_GREF: {
+      struct vki_xen_ioctl_gntalloc_dealloc_gref *args =
+         (struct vki_xen_ioctl_gntalloc_dealloc_gref*)(Addr)(ARG3);
+      PRE_MEM_READ("VKI_XEN_IOCTL_GNTALLOC_dealloc_gref(index)",
+                  (Addr)&args->index, sizeof(args->index));
+      PRE_MEM_READ("VKI_XEN_IOCTL_GNTALLOC_dealloc_gref(count)",
+                  (Addr)&args->count, sizeof(args->count));
+      }
+      break;
 #endif
 
    /* Lustre */
    case VKI_OBD_IOC_FID2PATH: {
       struct vki_getinfo_fid2path *gf =
          (struct vki_getinfo_fid2path *)(Addr)ARG3;
       PRE_MEM_READ("VKI_OBD_IOC_FID2PATH(args)", ARG3, sizeof(struct vki_getinfo_fid2path));
       PRE_FIELD_WRITE("VKI_OBD_IOC_FID2PATH(args).gf_recno", gf->gf_recno);
       PRE_FIELD_WRITE("VKI_OBD_IOC_FID2PATH(args).gf_linkno", gf->gf_linkno);
       PRE_MEM_WRITE("VKI_OBD_IOC_FID2PATH(args)", (Addr)gf->gf_path, gf->gf_pathlen);
       break;
    }
@@ -11148,24 +11157,27 @@ POST(sys_ioctl)
    case VKI_XEN_IOCTL_GNTDEV_SET_MAX_GRANTS:
       /* No output */
       break;
    case VKI_XEN_IOCTL_GNTALLOC_ALLOC_GREF: {
       struct vki_xen_ioctl_gntalloc_alloc_gref *args =
          (struct vki_xen_ioctl_gntalloc_alloc_gref*)(Addr)(ARG3);
       POST_FIELD_WRITE(args->index);
       POST_FIELD_WRITE(args->count);
       POST_MEM_WRITE((Addr)&args->gref_ids,
                      sizeof(args->gref_ids) * sizeof(args->count));
       }
       break;
+   case VKI_XEN_IOCTL_GNTALLOC_DEALLOC_GREF:
+      /* No output */
+      break;
 #endif
 
    /* Lustre */
    case VKI_OBD_IOC_FID2PATH: {
        struct vki_getinfo_fid2path *args = (void *)(Addr)(ARG3);
        POST_FIELD_WRITE(args->gf_recno);
        POST_FIELD_WRITE(args->gf_linkno);
        POST_MEM_WRITE((Addr)args->gf_path, VG_(strlen)(args->gf_path)+1);
        break;
       }
 
    case VKI_LL_IOC_PATH2FID:
--- a/include/vki/vki-linux.h
+++ b/include/vki/vki-linux.h
@@ -3542,24 +3542,31 @@ struct vki_xen_ioctl_gntdev_set_max_grants {
 };
 
 #define VKI_XEN_IOCTL_GNTALLOC_ALLOC_GREF			\
 	_VKI_IOC(_VKI_IOC_NONE, 'G', 5, sizeof(struct vki_xen_ioctl_gntalloc_alloc_gref))
 struct vki_xen_ioctl_gntalloc_alloc_gref {
    vki_u16 domid;
    vki_u16 flags;
    vki_u32 count;
    __vki_u64 index;
    vki_u32 gref_ids[1];
 };
 
+#define VKI_XEN_IOCTL_GNTALLOC_DEALLOC_GREF			\
+	_VKI_IOC(_VKI_IOC_NONE, 'G', 6, sizeof(struct vki_xen_ioctl_gntalloc_dealloc_gref))
+struct vki_xen_ioctl_gntalloc_dealloc_gref {
+   __vki_u64 index;
+   vki_u32 count;
+};
+
 //----------------------------------------------------------------------
 // From linux-3.4.0/include/linux/fs.h
 //----------------------------------------------------------------------
 
 struct vki_file_handle {
    __vki_u32 handle_bytes;
    int handle_type;
    /* file identifier */
    unsigned char f_handle[0];
 };
 
 //----------------------------------------------------------------------

Places

File valgrind.xen-4.2-handle-IOCTL_GNTALLOC_DEALLOC_GREF.patch of Package valgrind (Revision 805e4727b95db9760b2dbe4281880a6d)

Places