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

File:

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

kernel/generic/src/syscall/syscall.c

@@ -1 +1 @@
 /*
+ * Copyright (c) 2025 Jiri Svoboda
  * Copyright (c) 2005 Martin Decky
  * All rights reserved.
@@ -40 +41 @@
 #include <proc/task.h>
 #include <proc/program.h>
+#include <main/shutdown.h>
 #include <mm/as.h>
 #include <mm/page.h>
@@ -59 +61 @@
         /* System management syscalls. */
         [SYS_KIO] = (syshandler_t) sys_kio,
+        [SYS_REBOOT] = (syshandler_t) sys_reboot,
 
         /* Thread and task related syscalls. */
@@ -141 +144 @@
 {
         /* 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 +194 @@
 
         /* 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;