19 void waitqueue_add(
struct st_tcb *tcb)
21 DKFPRINTF(0x01,
"Wait PID=%d \"%s\"\n", tcb->
id, tcb->
name);
28 DKFPRINTF(0x01,
"Wait wakeup PID=%d \"%s\"\n", tcb->
id, tcb->
name);
char name[TASK_NAME_LEN+1]
タスク名
struct st_queue wait_queue_head
待ちタスクキュー