Searched refs:osek_res1 (Results 1 – 1 of 1) sorted by relevance
9055 OSEK_RESOURCE *osek_res1; in check_external_resource() local9090 osek_res1 = (OSEK_RESOURCE *)(osek_res->resolved_res); in check_external_resource()9092 if (osek_res1->taskid != 0u) in check_external_resource()9094 if (osek_res1->taskid != (TaskType)tcb_ptr) in check_external_resource()