File valgrind.xen-3.1-handle-IOCTL_GNTDEV_MAP_GRANT_... of Package valgrind

Overview Repositories Revisions Requests Users Attributes Meta

File valgrind.xen-3.1-handle-IOCTL_GNTDEV_MAP_GRANT_REF.patch of Package valgrind (Revision 881de480bacc30ea3c07ad0867044840)

Currently displaying revision 881de480bacc30ea3c07ad0867044840 , Show latest

From: Olaf Hering <olaf@aepfle.de>
Date: Fri, 16 Nov 2018 17:20:58 +0100
Subject: xen-3.1: handle IOCTL_GNTDEV_MAP_GRANT_REF

bz#390553
---
 coregrind/m_syswrap/syswrap-linux.c | 15 +++++++++++++++
 include/vki/vki-linux.h             | 16 ++++++++++++++++
 2 files changed, 31 insertions(+)

--- a/coregrind/m_syswrap/syswrap-linux.c
+++ b/coregrind/m_syswrap/syswrap-linux.c
@@ -8469,24 +8469,33 @@ PRE(sys_ioctl)
       }
       break;
    case VKI_XEN_IOCTL_EVTCHN_NOTIFY: {
          struct vki_xen_ioctl_evtchn_notify *args =
             (struct vki_xen_ioctl_evtchn_notify*)(Addr)(ARG3);
          PRE_MEM_READ("VKI_XEN_IOCTL_EVTCHN_notify(port)",
                  (Addr)&args->port, sizeof(args->port));
       }
       break;
    case VKI_XEN_IOCTL_EVTCHN_RESET:
       /* No input*/
       break;
+   case VKI_XEN_IOCTL_GNTDEV_MAP_GRANT_REF: {
+      struct vki_xen_ioctl_gntdev_map_grant_ref *args =
+         (struct vki_xen_ioctl_gntdev_map_grant_ref*)(Addr)(ARG3);
+      PRE_MEM_READ("VKI_XEN_IOCTL_GNTDEV_map_grant_ref(count)",
+                  (Addr)&args->count, sizeof(args->count));
+      PRE_MEM_READ("VKI_XEN_IOCTL_GNTDEV_map_grant_ref(refs)",
+                  (Addr)args->refs, sizeof(*(args->refs)) * 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;
    }
@@ -11075,24 +11084,30 @@ POST(sys_ioctl)
        POST_MEM_WRITE((Addr)args->err, sizeof(*(args->err)) * args->num);
       }
       break;
 
    case VKI_XEN_IOCTL_EVTCHN_BIND_VIRQ:
    case VKI_XEN_IOCTL_EVTCHN_BIND_INTERDOMAIN:
    case VKI_XEN_IOCTL_EVTCHN_BIND_UNBOUND_PORT:
    case VKI_XEN_IOCTL_EVTCHN_UNBIND:
    case VKI_XEN_IOCTL_EVTCHN_NOTIFY:
    case VKI_XEN_IOCTL_EVTCHN_RESET:
       /* No output */
       break;
+   case VKI_XEN_IOCTL_GNTDEV_MAP_GRANT_REF: {
+       struct vki_xen_ioctl_gntdev_map_grant_ref *args =
+            (struct vki_xen_ioctl_gntdev_map_grant_ref*)(Addr)(ARG3);
+       POST_FIELD_WRITE(args->index);
+      }
+      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
@@ -3492,24 +3492,40 @@ struct vki_xen_ioctl_evtchn_unbind {
 	vki_uint32_t port;
 };
 
 #define VKI_XEN_IOCTL_EVTCHN_NOTIFY				\
 	_VKI_IOC(_VKI_IOC_NONE, 'E', 4, sizeof(struct vki_xen_ioctl_evtchn_notify))
 struct vki_xen_ioctl_evtchn_notify {
 	vki_uint32_t port;
 };
 
 #define VKI_XEN_IOCTL_EVTCHN_RESET				\
 	_VKI_IOC(_VKI_IOC_NONE, 'E', 5, 0)
 
+//----------------------------------------------------------------------
+// Xen gnttdev IOCTL
+//----------------------------------------------------------------------
+
+#define VKI_XEN_IOCTL_GNTDEV_MAP_GRANT_REF			\
+   _VKI_IOC(_VKI_IOC_NONE, 'G', 0, sizeof(struct vki_xen_ioctl_gntdev_map_grant_ref))
+struct vki_xen_ioctl_gntdev_grant_ref {
+   vki_u32 domid;
+   vki_u32 ref;
+};
+struct vki_xen_ioctl_gntdev_map_grant_ref {
+   vki_u32 count;
+   vki_u32 pad;
+   __vki_u64 index;
+   struct vki_xen_ioctl_gntdev_grant_ref refs[1];
+};
 
 //----------------------------------------------------------------------
 // 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-3.1-handle-IOCTL_GNTDEV_MAP_GRANT_REF.patch of Package valgrind (Revision 881de480bacc30ea3c07ad0867044840)

Places