Changes in kernel/generic/include/ipc/ipc.h [ab34cc9:c0699467] in mainline

File:

• kernel/generic/include/ipc/ipc.h (modified) (2 diffs)

kernel/generic/include/ipc/ipc.h

@@ -40 +40 @@
 #include <synch/mutex.h>
 #include <synch/waitq.h>
-#include <typedefs.h>
 
 #define IPC_MAX_PHONES  32
@@ -98 +97 @@
 typedef struct {
         sysarg_t args[IPC_CALL_LEN];
-        /**
-         * Task which made or forwarded the call with IPC_FF_ROUTE_FROM_ME,
-         * or the task which answered the call.
-         */
-        task_id_t task_id;
+        /** Task which made or forwarded the call with IPC_FF_ROUTE_FROM_ME. */
+        struct task *task;
         /** Phone which made or last masqueraded this call. */
         phone_t *phone;