Searched refs:tcb_ptr (Results 1 – 1 of 1) sorted by relevance
190 static void osek_reset_tcb(OSEK_TCB *tcb_ptr);206 static ULONG osek_allocate_tcb(ULONG stack_size, OSEK_TCB **tcb_ptr);210 static StatusType osek_do_task_terminate(OSEK_TCB *tcb_ptr);211 static StatusType osek_do_activate_task (OSEK_TCB *tcb_ptr);212 static StatusType osek_create_task(OSEK_TCB *tcb_ptr);213 static StatusType get_internal_resource(OSEK_TCB *tcb_ptr);214 static StatusType release_internal_resource(OSEK_TCB *tcb_ptr);215 static StatusType check_external_resource(OSEK_TCB *tcb_ptr);229 static void add_task_to_table(OSEK_TCB *tcb_ptr);231 static void push_task_to_table(OSEK_TCB *tcb_ptr);[all …]
