Changeset f35749e in mainline for kernel/generic/include

Timestamp:

2025-02-28T23:38:26Z (10 months ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

master

Children:

8300c72

Parents:

4285f384

Message:

System restart via shutdown -r

Location:

kernel/generic/include

Files:

• arch.h (modified) (2 diffs)
• main/main.h (modified) (3 diffs)
• main/shutdown.h (added)
• proc/task.h (modified) (2 diffs)

kernel/generic/include/arch.h

@@ -1 +1 @@
 /*
+ * Copyright (c) 2025 Jiri Svoboda
  * Copyright (c) 2001-2004 Jakub Jermar
  * All rights reserved.
@@ -106 +107 @@
 extern void calibrate_delay_loop(void);
 
-extern void reboot(void);
 extern void arch_reboot(void);
 extern void *arch_construct_function(fncptr_t *, void *, void *);

kernel/generic/include/main/main.h

@@ -1 +1 @@
 /*
+ * Copyright (c) 2025 Jiri Svoboda
  * Copyright (c) 2006 Martin Decky
  * All rights reserved.
@@ -36 +37 @@
 #define KERN_MAIN_H_
 
+#include <proc/task.h>
 #include <typedefs.h>
 
@@ -42 +44 @@
 /* Address of the end of kernel. */
 extern uint8_t kdata_end[];
+extern task_t *kernel_task;
 
 extern void main_bsp(void);

kernel/generic/include/proc/task.h

@@ -1 +1 @@
 /*
+ * Copyright (c) 2025 Jiri Svoboda
  * Copyright (c) 2010 Jakub Jermar
  * All rights reserved.
@@ -142 +143 @@
 
 extern void task_init(void);
-extern void task_done(void);
+extern void task_done(task_t *);
 extern task_t *task_create(as_t *, const char *);
 extern void task_hold(task_t *);