Searched refs:osek_tcb_pool (Results 1 – 1 of 1) sorted by relevance
65 static OSEK_TCB osek_tcb_pool[OSEK_MAX_TASKS]; variable5512 p_tcb = &osek_tcb_pool[i]; in osek_cleanup()5533 memset(osek_tcb_pool, 0u, sizeof(osek_tcb_pool)); in osek_cleanup()6620 osek_reset_tcb(&(osek_tcb_pool[index])); in osek_tcb_init()7219 tcb = osek_tcb_pool; in osek_allocate_tcb()
