- tkernel_2
- driver/tef_em1d/kbpd/src/receive.c - 6.5KB - 229 lines
223: tk_ter_tsk(id);
224: tk_del_tsk(id);
225: }
- driver/tef_em1d/lowkbpd/src/hwkbpd.c - 17.6KB - 631 lines
367: fin3:
368: tk_del_tsk(TpTaskID);
369: fin2:
- More results from hwkbpd.c
- driver/tef_em1d/lowkbpd/src/main.c - 5.3KB - 178 lines
59: er = tk_sta_tsk(tskid, 0);
60: if (er < E_OK) tk_del_tsk(tskid);
61: }
- More results from main.c
- driver/tef_em1d/sysdsk/src/main.c - 7.8KB - 235 lines
73: er = tk_sta_tsk(tskid, par);
74: if (er < E_OK) tk_del_tsk(tskid);
75: }
- kernel/sysmain/src/usermain.c - 5.0KB - 188 lines
90: if ( er < E_OK ) {
91: tk_del_tsk(ttskid);
92: tm_printf("ERROR: tk_sta_tsk [%#x].\n", er);
- kernel/sysmgr/src/syslog.c - 5.1KB - 221 lines
190: err_ret2:
191: tk_del_tsk(tskid);
192: err_ret1: