Searched refs:OSEK_RESOURCE (Results 1 – 2 of 2) sorted by relevance
70 static OSEK_RESOURCE osek_res_pool[OSEK_MAX_RES];190 static void osek_reset_res(OSEK_RESOURCE *res_ptr);972 ((OSEK_RESOURCE *)(tcb_ptr->internal_resource_occuplied_list[index]))->taskid = 0u; in TerminateTask()1173 ((OSEK_RESOURCE *)(tcb_ptr->internal_resource_occuplied_list[index]))->taskid = 0u; in ChainTask()1633 OSEK_RESOURCE *res_ptr; in CreateResource()1634 OSEK_RESOURCE *linked_res_ptr; in CreateResource()1635 OSEK_RESOURCE *res1_ptr; in CreateResource()1663 linked_res_ptr = (OSEK_RESOURCE *)linked_res; in CreateResource()1682 res_ptr = (OSEK_RESOURCE *)ID; in CreateResource()1710 linked_res_ptr = (OSEK_RESOURCE *)linked_res_id; in CreateResource()[all …]
608 } OSEK_RESOURCE; typedef
