Rev 2183 | Rev 2471 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2183 | Rev 2216 | ||
---|---|---|---|
Line 500... | Line 500... | ||
500 | /* Print answerbox - calls */ |
500 | /* Print answerbox - calls */ |
501 | spinlock_lock(&task->answerbox.lock); |
501 | spinlock_lock(&task->answerbox.lock); |
502 | printf("ABOX - CALLS:\n"); |
502 | printf("ABOX - CALLS:\n"); |
503 | for (tmp=task->answerbox.calls.next; tmp != &task->answerbox.calls;tmp = tmp->next) { |
503 | for (tmp=task->answerbox.calls.next; tmp != &task->answerbox.calls;tmp = tmp->next) { |
504 | call = list_get_instance(tmp, call_t, link); |
504 | call = list_get_instance(tmp, call_t, link); |
505 | printf("Callid: %p Srctask:%lld M:%d A1:%d A2:%d A3:%d Flags:%x\n",call, |
505 | printf("Callid: %p Srctask:%llu M:%d A1:%d A2:%d A3:%d Flags:%x\n",call, |
506 | call->sender->taskid, IPC_GET_METHOD(call->data), IPC_GET_ARG1(call->data), |
506 | call->sender->taskid, IPC_GET_METHOD(call->data), IPC_GET_ARG1(call->data), |
507 | IPC_GET_ARG2(call->data), IPC_GET_ARG3(call->data), call->flags); |
507 | IPC_GET_ARG2(call->data), IPC_GET_ARG3(call->data), call->flags); |
508 | } |
508 | } |
509 | /* Print answerbox - calls */ |
509 | /* Print answerbox - calls */ |
510 | printf("ABOX - DISPATCHED CALLS:\n"); |
510 | printf("ABOX - DISPATCHED CALLS:\n"); |
511 | for (tmp=task->answerbox.dispatched_calls.next; |
511 | for (tmp=task->answerbox.dispatched_calls.next; |
512 | tmp != &task->answerbox.dispatched_calls; |
512 | tmp != &task->answerbox.dispatched_calls; |
513 | tmp = tmp->next) { |
513 | tmp = tmp->next) { |
514 | call = list_get_instance(tmp, call_t, link); |
514 | call = list_get_instance(tmp, call_t, link); |
515 | printf("Callid: %p Srctask:%lld M:%d A1:%d A2:%d A3:%d Flags:%x\n",call, |
515 | printf("Callid: %p Srctask:%llu M:%d A1:%d A2:%d A3:%d Flags:%x\n",call, |
516 | call->sender->taskid, IPC_GET_METHOD(call->data), IPC_GET_ARG1(call->data), |
516 | call->sender->taskid, IPC_GET_METHOD(call->data), IPC_GET_ARG1(call->data), |
517 | IPC_GET_ARG2(call->data), IPC_GET_ARG3(call->data), call->flags); |
517 | IPC_GET_ARG2(call->data), IPC_GET_ARG3(call->data), call->flags); |
518 | } |
518 | } |
519 | /* Print answerbox - calls */ |
519 | /* Print answerbox - calls */ |
520 | printf("ABOX - ANSWERS:\n"); |
520 | printf("ABOX - ANSWERS:\n"); |