From: Julian Seward <jseward@acm.org>
Date: Thu, 13 Aug 2015 14:53:17 +0000 (+0000)
Subject: Bug 339563 - The DVB demux DMX_STOP ioctl doesn't have a wrapper.
X-Git-Tag: svn/VALGRIND_3_11_0~120
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a2df7642efbcb5dc6ab3ce9a1a7375d70b243cf9;p=thirdparty%2Fvalgrind.git

Bug 339563 - The DVB demux DMX_STOP ioctl doesn't have a wrapper.
Patch from mchehab@infradead.org (Mauro Carvalho Chehab).


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15537
---

diff --git a/coregrind/m_syswrap/syswrap-linux.c b/coregrind/m_syswrap/syswrap-linux.c
index 41b7dda525..d036ae75bf 100644
--- a/coregrind/m_syswrap/syswrap-linux.c
+++ b/coregrind/m_syswrap/syswrap-linux.c
@@ -5552,6 +5552,9 @@ PRE(sys_ioctl)
 
    /* V4L2 */
    case VKI_V4L2_LOG_STATUS:
+
+   /* DVB */
+   case VKI_DMX_STOP:
       PRINT("sys_ioctl ( %lu, 0x%lx )", ARG1, ARG2);
       PRE_REG_READ2(long, "ioctl",
                     unsigned int, fd, unsigned int, request);
diff --git a/include/vki/vki-linux.h b/include/vki/vki-linux.h
index 544b027240..82d733bd2e 100644
--- a/include/vki/vki-linux.h
+++ b/include/vki/vki-linux.h
@@ -4635,6 +4635,9 @@ struct vki_media_links_enum {
 #define VKI_MEDIA_IOC_ENUM_LINKS		_VKI_IOWR('|', 0x02, struct vki_media_links_enum)
 #define VKI_MEDIA_IOC_SETUP_LINK		_VKI_IOWR('|', 0x03, struct vki_media_link_desc)
 
+/* DVB demux API */
+#define	VKI_DMX_STOP	_VKI_IO('o', 42)
+
 /* Comparison type */
 enum vki_kcmp_type {
    VKI_KCMP_FILE,