Implement pthread_mutex_timedlock. This resolves bug 78422.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2780 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/coregrind/core.h b/coregrind/core.h
index 89d93a8..666eb22 100644
--- a/coregrind/core.h
+++ b/coregrind/core.h
@@ -509,8 +509,9 @@
 /* Set/get detach state for this thread. */
 #define VG_USERREQ__SET_OR_GET_DETACH       0x3009
 
-#define VG_USERREQ__PTHREAD_GET_THREADID    0x300B
-#define VG_USERREQ__PTHREAD_MUTEX_LOCK      0x300C
+#define VG_USERREQ__PTHREAD_GET_THREADID    0x300A
+#define VG_USERREQ__PTHREAD_MUTEX_LOCK      0x300B
+#define VG_USERREQ__PTHREAD_MUTEX_TIMEDLOCK 0x300C
 #define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK   0x300D
 #define VG_USERREQ__PTHREAD_MUTEX_UNLOCK    0x300E
 #define VG_USERREQ__PTHREAD_COND_WAIT       0x300F