gonzui

tkernel_2

kernel/tkernel/src/task_manage.c - 23.8KB - 956 lines

172:         /* make it to DORMANT state */
173:         make_dormant(tcb);
174: 
329:         _ter_tsk(ctxtsk);
330:         make_dormant(ctxtsk);
331: 
397:                 _ter_tsk(tcb);
398:                 make_dormant(tcb);
399:         }