Changes in kernel/generic/include/ipc/ipc.h [e2ab36f1: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
@@ -99 +98 @@
         sysarg_t args[IPC_CALL_LEN];
         /** Task which made or forwarded the call with IPC_FF_ROUTE_FROM_ME. */
-        task_id_t task_id;
+        struct task *task;
         /** Phone which made or last masqueraded this call. */
         phone_t *phone;