diff --git a/.gitlab-ci/scripts/report_benchmark.py b/.gitlab-ci/scripts/report_benchmark.py
index 5bcaf6108..212a0a6c1 100644
--- a/.gitlab-ci/scripts/report_benchmark.py
+++ b/.gitlab-ci/scripts/report_benchmark.py
@@ -23,8 +23,8 @@ valid_cycles = {
     "dhrystone_single": 22407,
     "coremark_dual": 981777,
     "coremark_single": 1294524,
-    "dhrystone_cv32a65x": 30056,
-    "dhrystone_cv32a60x": 37474,
+    "dhrystone_cv32a65x": 28825,
+    "dhrystone_cv32a60x": 36631,
 }
 
 for arg in sys.argv[1:]:
diff --git a/verif/tests/custom/common/syscalls.c b/verif/tests/custom/common/syscalls.c
index e19e3cd5b..045f35c4d 100644
--- a/verif/tests/custom/common/syscalls.c
+++ b/verif/tests/custom/common/syscalls.c
@@ -15,6 +15,8 @@
 extern volatile uint64_t tohost;
 extern volatile uint64_t fromhost;
 
+register void *thread_pointer asm("tp");
+
 // tohost is 64 bits wide, irrespective of XLEN.  The structure expected in Spike is:
 // - tohost[63:56] == device (syscall: 0)
 // - tohost[55:48] == command (syscall: 0)
@@ -134,7 +136,6 @@ int __attribute__((weak)) main(int argc, char** argv)
 
 static void init_tls()
 {
-  register void* thread_pointer asm("tp");
   extern char _tdata_begin, _tdata_end, _tbss_end;
   size_t tdata_size = &_tdata_end - &_tdata_begin;
   memcpy(thread_pointer, &_tdata_begin, tdata_size);