Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 07640dfd0f06086a843fa228d6305345338c4f0c)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 2e4e706a8704952b76f052d1fa9f7a72e9f6d471)
@@ -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);
+	}
 }