Home
last modified time | relevance | path

Searched refs:OSEK_TCB (Results 1 – 2 of 2) sorted by relevance

/ThreadX-v6.4.1/utility/rtos_compatibility_layers/OSEK/
Dtx_osek.c65 static OSEK_TCB osek_tcb_pool[OSEK_MAX_TASKS];
189 static void osek_reset_tcb(OSEK_TCB *tcb_ptr);
195 static OSEK_TCB *osek_thread2tcb(TX_THREAD *thread_ptr);
205 static ULONG osek_allocate_tcb(ULONG stack_size, OSEK_TCB **tcb_ptr);
209 static StatusType osek_do_task_terminate(OSEK_TCB *tcb_ptr);
210 static StatusType osek_do_activate_task (OSEK_TCB *tcb_ptr);
211 static StatusType osek_create_task(OSEK_TCB *tcb_ptr);
212 static StatusType get_internal_resource(OSEK_TCB *tcb_ptr);
213 static StatusType release_internal_resource(OSEK_TCB *tcb_ptr);
214 static StatusType check_external_resource(OSEK_TCB *tcb_ptr);
[all …]
Dos.h700 } OSEK_TCB; typedef
785 OSEK_TCB* task;