tcp.cにおけるwait_complete-with-uint(TCB *tcb,UINT val) というものは fsp/kernel/ext_wait.c の wait_complete-with-value(TCB *tcb,UINT val) と、同じものでしょうか? grepで探し回ったのですが、wait_complete-with-uintが有りませんでした。 菱田