Searched refs:osek_status (Results 1 – 1 of 1) sorted by relevance
5991 StatusType osek_status; in osek_system_manager_entry() local6024 osek_status = osek_do_task_terminate((OSEK_TCB *)request[1u]); in osek_system_manager_entry()6025 if(osek_status != E_OK) { in osek_system_manager_entry()6043 osek_status = osek_do_task_terminate((OSEK_TCB *)request[1u]); in osek_system_manager_entry()6044 if(osek_status != E_OK) { in osek_system_manager_entry()6051 osek_status = osek_do_activate_task((OSEK_TCB *)request[2u]); in osek_system_manager_entry()6052 if(osek_status != E_OK) { in osek_system_manager_entry()6086 osek_status = osek_do_activate_task((OSEK_TCB *)request[1]); in osek_system_manager_entry()6087 if(osek_status != E_OK) { in osek_system_manager_entry()6151 osek_status = release_internal_resource(tcb_ptr); in osek_system_manager_entry()[all …]
