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 41b7dda525f1d5e6863f4781a563fc1e1d5b60fb..d036ae75bfe7ad45df1e1bc834d22423a1685579 100644 (file)
--- 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 544b027240870b76b778f3d4d4ae285a87fc6e40..82d733bd2e6fb88c40f2a2029f1bf3cd13c8c8da 100644 (file)
--- 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,