Searched refs:osek_reset_tcb (Results 1 – 1 of 1) sorted by relevance
189 static void osek_reset_tcb(OSEK_TCB *tcb_ptr);6620 osek_reset_tcb(&(osek_tcb_pool[index])); in osek_tcb_init()6854 osek_reset_tcb(tcb_ptr); in osek_do_task_terminate()7128 osek_reset_tcb(tcb_ptr); in osek_create_task()7258 osek_reset_tcb(tcb); in osek_allocate_tcb()7383 static void osek_reset_tcb(OSEK_TCB *tcb_ptr) in osek_reset_tcb() function
