Index: kernel/generic/src/sysinfo/stats.c
===================================================================
--- kernel/generic/src/sysinfo/stats.c	(revision 41bfc6447bca0a648f115c2d22f120a4f5aca2ab)
+++ kernel/generic/src/sysinfo/stats.c	(revision a3d87b9d6ac087b0623ed2e3b6ac96f6515f4c5a)
@@ -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);