gonzui

tkernel_2

driver/tef_em1d/kbpd/src/receive.c - 6.5KB - 229 lines

172: 
173:         tk_exd_tsk();  /* should never reach here */
174: }

driver/tef_em1d/lowkbpd/src/hwkbpd.c - 17.6KB - 631 lines

302:         tpIntDisable();
303:         tk_exd_tsk();
304: }

More results from hwkbpd.c

driver/tef_em1d/sysdsk/src/main.c - 7.8KB - 235 lines

192:         }
193:         tk_exd_tsk();
194: }

kernel/sysmain/src/usermain.c - 5.0KB - 188 lines

59:         /* Exit and delete myself */
60:         tk_exd_tsk();
61: }

kernel/sysmgr/src/syslog.c - 5.1KB - 221 lines

138:         logtask_alive = 0;
139:         tk_exd_tsk();
140: }