Searched refs:osek_res1 (Results 1 – 1 of 1) sorted by relevance
9056 OSEK_RESOURCE *osek_res1; in check_external_resource() local9091 osek_res1 = (OSEK_RESOURCE *)(osek_res->resolved_res); in check_external_resource()9093 if (osek_res1->taskid != 0u) in check_external_resource()9095 if (osek_res1->taskid != (TaskType)tcb_ptr) in check_external_resource()
