EXPORT void _exit(int status) { tk_ext_tsk(); }
/* |------------------+--------------------------------------------------------------| */ StatusType TerminateTask ( void ) { StatusType ercd = E_NOT_OK; tk_ext_tsk(); return ercd; }
EXPORT void _exit(int status) { tk_ext_tsk(); }
/* |------------------+--------------------------------------------------------------| */ StatusType TerminateTask ( void ) { StatusType ercd = E_NOT_OK; tk_ext_tsk(); return ercd; }