Changes in kernel/generic/include/proc/task.h [5d0500c:c0699467] in mainline

File:

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

kernel/generic/include/proc/task.h

@@ -38 +38 @@
 #include <cpu.h>
 #include <ipc/ipc.h>
-#include <ipc/event.h>
-#include <ipc/kbox.h>
 #include <synch/spinlock.h>
 #include <synch/mutex.h>
@@ -55 +53 @@
 #include <proc/scheduler.h>
 #include <udebug/udebug.h>
+#include <ipc/kbox.h>
 #include <mm/as.h>
 #include <abi/sysinfo.h>
@@ -94 +93 @@
         phone_t phones[IPC_MAX_PHONES];
         stats_ipc_t ipc_info;   /**< IPC statistics */
-        list_t sync_boxes;      /**< List of synchronous answerboxes. */
-        event_t events[EVENT_TASK_END - EVENT_END];
+        /** List of synchronous answerboxes. */
+        list_t sync_boxes;
         
 #ifdef CONFIG_UDEBUG