Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 07640dfd0f06086a843fa228d6305345338c4f0c)
+++ kernel/generic/src/interrupt/interrupt.c	(revision fa9616b477cd596cac9330b3fb60f3bf07fb7dec)
@@ -93,6 +93,9 @@
 
 	/* Account user cycles */
-	if (THREAD)
+	if (THREAD) {
+		spinlock_lock(&THREAD->lock);
 		thread_update_accounting(true);
+		spinlock_unlock(&THREAD->lock);
+	}
 
 #ifdef CONFIG_UDEBUG
@@ -110,6 +113,9 @@
 		thread_exit();
 
-	if (THREAD)
+	if (THREAD) {
+		spinlock_lock(&THREAD->lock);
 		thread_update_accounting(false);
+		spinlock_unlock(&THREAD->lock);
+	}
 }