Index: kernel/generic/src/sysinfo/stats.c
===================================================================
--- kernel/generic/src/sysinfo/stats.c	(revision 41bfc6447bca0a648f115c2d22f120a4f5aca2ab)
+++ kernel/generic/src/sysinfo/stats.c	(revision 9fbdeca463412d65921b4008361598d043a9fa42)
@@ -299,5 +299,4 @@
 {
 	assert(interrupts_disabled());
-	assert(irq_spinlock_locked(&thread->lock));
 
 	stats_thread->thread_id = thread->tid;
@@ -305,6 +304,6 @@
 	stats_thread->state = atomic_get_unordered(&thread->state);
 	stats_thread->priority = atomic_get_unordered(&thread->priority);
-	stats_thread->ucycles = thread->ucycles;
-	stats_thread->kcycles = thread->kcycles;
+	stats_thread->ucycles = atomic_time_read(&thread->ucycles);
+	stats_thread->kcycles = atomic_time_read(&thread->kcycles);
 
 	cpu_t *cpu = atomic_get_unordered(&thread->cpu);