Searched refs:system_start (Results 1 – 1 of 1) sorted by relevance
104 ULONG system_start; /* If TX_TRUE indicates a f… variable5430 system_start = TX_TRUE; in osek_initialize()6060 system_start = TX_TRUE; /* Indicates a fresh OS start. */ in osek_system_manager_entry()8537 if (system_start == 0u) in start_osek_tasks()8557 system_start = TX_FALSE; in start_osek_tasks()