same value to VG_USERREQ__READ_MILLISECOND_TIMER and
VG_USERREQ__SIGNAL_RETURNS. Duh.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@120
#define VG_USERREQ__PTHREAD_KEY_DELETE 0x300E
#define VG_USERREQ__PTHREAD_SETSPECIFIC 0x300F
#define VG_USERREQ__PTHREAD_GETSPECIFIC 0x3010
-
-#define VG_USERREQ__READ_MILLISECOND_TIMER 0x4001
+#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3011
/* Cosmetic ... */
#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
#define VG_USERREQ__PTHREAD_KEY_DELETE 0x300E
#define VG_USERREQ__PTHREAD_SETSPECIFIC 0x300F
#define VG_USERREQ__PTHREAD_GETSPECIFIC 0x3010
-
-#define VG_USERREQ__READ_MILLISECOND_TIMER 0x4001
+#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3011
/* Cosmetic ... */
#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101