Changes in kernel/generic/include/proc/task.h [41df2827:bc18d63] in mainline

File:

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

kernel/generic/include/proc/task.h

@@ -55 +55 @@
 #include <udebug/udebug.h>
 #include <ipc/kbox.h>
-#include <mm/as.h>
 
 #define TASK_NAME_BUFLEN        20
@@ -99 +98 @@
          */
         atomic_t active_calls;
-        /** List of synchronous answerboxes. */
-        link_t sync_box_head;
 
 #ifdef CONFIG_UDEBUG
@@ -135 +132 @@
 extern int task_kill(task_id_t id);
 extern uint64_t task_get_accounting(task_t *t);
-extern void task_print_list(void);
 
 extern void cap_set(task_t *t, cap_t caps);