Changeset 201abde in mainline for kernel/generic/src/ipc/ipc.c

Timestamp:

2007-04-07T20:06:52Z (18 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

7e58979

Parents:

6adbe3c2

Message:

make thread ID 64 bit (task ID is 64 bit already)
cleanup thread syscalls

File:

• kernel/generic/src/ipc/ipc.c (modified) (2 diffs)

kernel/generic/src/ipc/ipc.c

@@ -503 +503 @@
         for (tmp=task->answerbox.calls.next; tmp != &task->answerbox.calls;tmp = tmp->next) {
                 call = list_get_instance(tmp, call_t, link);
-                printf("Callid: %p Srctask:%lld M:%d A1:%d A2:%d A3:%d Flags:%x\n",call,
+                printf("Callid: %p Srctask:%llu M:%d A1:%d A2:%d A3:%d Flags:%x\n",call,
                        call->sender->taskid, IPC_GET_METHOD(call->data), IPC_GET_ARG1(call->data),
                        IPC_GET_ARG2(call->data), IPC_GET_ARG3(call->data), call->flags);
@@ -513 +513 @@
              tmp = tmp->next) {
                 call = list_get_instance(tmp, call_t, link);
-                printf("Callid: %p Srctask:%lld M:%d A1:%d A2:%d A3:%d Flags:%x\n",call,
+                printf("Callid: %p Srctask:%llu M:%d A1:%d A2:%d A3:%d Flags:%x\n",call,
                        call->sender->taskid, IPC_GET_METHOD(call->data), IPC_GET_ARG1(call->data),
                        IPC_GET_ARG2(call->data), IPC_GET_ARG3(call->data), call->flags);