Searched refs:tcb_ptr (Results 1 – 1 of 1) sorted by relevance
189 static void osek_reset_tcb(OSEK_TCB *tcb_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);228 static void add_task_to_table(OSEK_TCB *tcb_ptr);230 static void push_task_to_table(OSEK_TCB *tcb_ptr);[all …]
