Rev 2902 | Rev 3014 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2902 | Rev 2913 | ||
---|---|---|---|
Line 713... | Line 713... | ||
713 | (void)arg; |
713 | (void)arg; |
714 | klog_printf("kbox_thread_proc()"); |
714 | klog_printf("kbox_thread_proc()"); |
715 | done = false; |
715 | done = false; |
716 | 716 | ||
717 | while (!done) { |
717 | while (!done) { |
718 | klog_printf("kbox: wait for call"); |
718 | //klog_printf("kbox: wait for call"); |
719 | call = ipc_wait_for_call(&TASK->kernel_box, SYNCH_NO_TIMEOUT, |
719 | call = ipc_wait_for_call(&TASK->kernel_box, SYNCH_NO_TIMEOUT, |
720 | SYNCH_FLAGS_NONE); |
720 | SYNCH_FLAGS_NONE); |
721 | 721 | ||
722 | if (call != NULL) { |
722 | if (call != NULL) { |
723 | method = IPC_GET_METHOD(call->data); |
723 | method = IPC_GET_METHOD(call->data); |