Changes in kernel/generic/include/proc/task.h [f35749e:31e15be] in mainline

File:

• kernel/generic/include/proc/task.h (modified) (5 diffs)

kernel/generic/include/proc/task.h

@@ -1 +1 @@
 /*
- * Copyright (c) 2025 Jiri Svoboda
  * Copyright (c) 2010 Jakub Jermar
  * All rights reserved.
@@ -37 +36 @@
 #define KERN_TASK_H_
 
+#include <cpu.h>
+#include <ipc/ipc.h>
+#include <ipc/event.h>
+#include <ipc/kbox.h>
+#include <synch/spinlock.h>
+#include <synch/mutex.h>
+#include <adt/list.h>
+#include <adt/odict.h>
+#include <security/perm.h>
+#include <arch/proc/task.h>
+#include <arch/proc/thread.h>
+#include <arch/context.h>
+#include <arch/fpu_context.h>
+#include <arch/cpu.h>
+#include <mm/tlb.h>
+#include <proc/scheduler.h>
+#include <udebug/udebug.h>
+#include <mm/as.h>
 #include <abi/proc/task.h>
 #include <abi/sysinfo.h>
-#include <adt/list.h>
-#include <adt/odict.h>
-#include <arch/context.h>
-#include <arch/cpu.h>
-#include <arch/fpu_context.h>
-#include <arch/proc/task.h>
-#include <arch/proc/thread.h>
 #include <arch.h>
 #include <cap/cap.h>
-#include <cpu.h>
-#include <debug/sections.h>
-#include <ipc/event.h>
-#include <ipc/ipc.h>
-#include <ipc/kbox.h>
-#include <mm/as.h>
-#include <mm/tlb.h>
-#include <proc/scheduler.h>
-#include <security/perm.h>
-#include <synch/mutex.h>
-#include <synch/spinlock.h>
-#include <udebug/udebug.h>
 
 #define TASK                 CURRENT->task
@@ -89 +87 @@
 
         /** Number of references (i.e. threads). */
-        atomic_refcount_t refcount;
+        atomic_size_t refcount;
         /** Number of threads that haven't exited yet. */
-        // TODO: remove
         atomic_size_t lifecount;
 
@@ -133 +130 @@
         uint64_t ucycles;
         uint64_t kcycles;
-
-        debug_sections_t *debug_sections;
 } task_t;
 
@@ -143 +138 @@
 
 extern void task_init(void);
-extern void task_done(task_t *);
+extern void task_done(void);
 extern task_t *task_create(as_t *, const char *);
+extern void task_destroy(task_t *);
 extern void task_hold(task_t *);
 extern void task_release(task_t *);