diff --git a/coregrind/vg_include.h b/coregrind/vg_include.h
index 4ae38505f..307d51a8a 100644
--- a/coregrind/vg_include.h
+++ b/coregrind/vg_include.h
@@ -414,8 +414,7 @@ extern Bool  VG_(is_empty_arena) ( ArenaId aid );
 #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
diff --git a/vg_include.h b/vg_include.h
index 4ae38505f..307d51a8a 100644
--- a/vg_include.h
+++ b/vg_include.h
@@ -414,8 +414,7 @@ extern Bool  VG_(is_empty_arena) ( ArenaId aid );
 #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