Changeset e68765e in mainline for kernel/generic/src/proc/task.c

Timestamp:

2017-08-20T16:58:10Z (7 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

88db88d

Parents:

3f74275

Message:

Store capability's handle inside of it

File:

• kernel/generic/src/proc/task.c (modified) (1 diff)

kernel/generic/src/proc/task.c

@@ -627 +627 @@
                         phone_t *phone = &cap->phone;
                         if (phone->callee)
-                                printf(" %d:%p", cap_get_handle(task, cap),
-                                    phone->callee);
+                                printf(" %d:%p", cap->handle, phone->callee);
                 }
                 printf("\n");