Changes in kernel/generic/src/syscall/syscall.c [ad211c8:11909ce3] in mainline

File:

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

kernel/generic/src/syscall/syscall.c

@@ -141 +141 @@
 {
         /* Do userpace accounting */
-        irq_spinlock_lock(&THREAD->lock, true);
+        ipl_t ipl = interrupts_disable();
         thread_update_accounting(true);
-        irq_spinlock_unlock(&THREAD->lock, true);
+        interrupts_restore(ipl);
 
 #ifdef CONFIG_UDEBUG
@@ -191 +191 @@
 
         /* Do kernel accounting */
-        irq_spinlock_lock(&THREAD->lock, true);
+        ipl = interrupts_disable();
         thread_update_accounting(false);
-        irq_spinlock_unlock(&THREAD->lock, true);
+        interrupts_restore(ipl);
 
         return rc;