|
From: <sv...@va...> - 2013-02-14 17:10:09
|
bart 2013-02-14 17:10:01 +0000 (Thu, 14 Feb 2013)
New Revision: 13287
Log:
Add support for the Linux ioctl IB_USER_MAD_ENABLE_PKEY
Modified files:
trunk/coregrind/m_syswrap/syswrap-linux.c
trunk/include/vki/vki-linux.h
Modified: trunk/coregrind/m_syswrap/syswrap-linux.c (+4 -0)
===================================================================
--- trunk/coregrind/m_syswrap/syswrap-linux.c 2013-02-14 14:28:22 +00:00 (rev 13286)
+++ trunk/coregrind/m_syswrap/syswrap-linux.c 2013-02-14 17:10:01 +00:00 (rev 13287)
@@ -4797,6 +4797,9 @@
/* User input device creation */
case VKI_UI_DEV_CREATE:
case VKI_UI_DEV_DESTROY:
+
+ /* InfiniBand */
+ case VKI_IB_USER_MAD_ENABLE_PKEY:
PRINT("sys_ioctl ( %ld, 0x%lx )",ARG1,ARG2);
PRE_REG_READ2(long, "ioctl",
unsigned int, fd, unsigned int, request);
@@ -6237,6 +6240,7 @@
case VKI_TCSETS:
case VKI_TCSETSW:
case VKI_TCSETSF:
+ case VKI_IB_USER_MAD_ENABLE_PKEY:
break;
case VKI_TCGETS:
POST_MEM_WRITE( ARG3, sizeof(struct vki_termios) );
Modified: trunk/include/vki/vki-linux.h (+13 -0)
===================================================================
--- trunk/include/vki/vki-linux.h 2013-02-14 14:28:22 +00:00 (rev 13286)
+++ trunk/include/vki/vki-linux.h 2013-02-14 17:10:01 +00:00 (rev 13287)
@@ -3015,6 +3015,19 @@
#define VKI_UI_SET_PROPBIT _VKI_IOW(VKI_UINPUT_IOCTL_BASE, 110, int)
//----------------------------------------------------------------------
+// From linux-2.6/include/uapi/rdma/ib_user_mad.h
+//----------------------------------------------------------------------
+
+#define VKI_IB_IOCTL_MAGIC 0x1b
+
+#define VKI_IB_USER_MAD_REGISTER_AGENT _VKI_IOWR(VKI_IB_IOCTL_MAGIC, 1, \
+ struct ib_user_mad_reg_req)
+
+#define VKI_IB_USER_MAD_UNREGISTER_AGENT _VKI_IOW(VKI_IB_IOCTL_MAGIC, 2, __u32)
+
+#define VKI_IB_USER_MAD_ENABLE_PKEY _VKI_IO(VKI_IB_IOCTL_MAGIC, 3)
+
+//----------------------------------------------------------------------
// Xen privcmd IOCTL
//----------------------------------------------------------------------
|