Searched refs:osek_status (Results 1 – 1 of 1) sorted by relevance
5992 StatusType osek_status; in osek_system_manager_entry() local6025 osek_status = osek_do_task_terminate((OSEK_TCB *)request[1u]); in osek_system_manager_entry()6026 if(osek_status != E_OK) { in osek_system_manager_entry()6044 osek_status = osek_do_task_terminate((OSEK_TCB *)request[1u]); in osek_system_manager_entry()6045 if(osek_status != E_OK) { in osek_system_manager_entry()6052 osek_status = osek_do_activate_task((OSEK_TCB *)request[2u]); in osek_system_manager_entry()6053 if(osek_status != E_OK) { in osek_system_manager_entry()6087 osek_status = osek_do_activate_task((OSEK_TCB *)request[1]); in osek_system_manager_entry()6088 if(osek_status != E_OK) { in osek_system_manager_entry()6152 osek_status = release_internal_resource(tcb_ptr); in osek_system_manager_entry()[all …]
