Changes in kernel/generic/src/interrupt/interrupt.c [07640dfd:cd98e594] in mainline

File:

• kernel/generic/src/interrupt/interrupt.c (modified) (2 diffs)

kernel/generic/src/interrupt/interrupt.c

@@ -93 +93 @@
 
         /* Account user cycles */
-        if (THREAD)
+        if (THREAD) {
+                spinlock_lock(&THREAD->lock);
                 thread_update_accounting(true);
+                spinlock_unlock(&THREAD->lock);
+        }
 
 #ifdef CONFIG_UDEBUG
@@ -110 +113 @@
                 thread_exit();
 
-        if (THREAD)
+        if (THREAD) {
+                spinlock_lock(&THREAD->lock);
                 thread_update_accounting(false);
+                spinlock_unlock(&THREAD->lock);
+        }
 }