Changeset fa32c9f in mainline

Timestamp:

2017-09-04T19:45:51Z (7 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

431c402

Parents:

63d8f43

Message:

Fix getting of the kobject address

File:

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

kernel/generic/src/proc/task.c

@@ -625 +625 @@
         if (*additional) {
                 for_each_cap(task, cap, CAP_TYPE_PHONE) {
-                        phone_t *phone = (void *) &cap->kobject;
+                        phone_t *phone = (phone_t *) cap->kobject;
                         if (phone->callee)
                                 printf(" %d:%p", cap->handle, phone->callee);