198 EXECUTION_TIME_SOURCE_TYPE  current_time;  in _tx_execution_thread_enter()  local
205     current_time =  TX_EXECUTION_TIME_SOURCE;  in _tx_execution_thread_enter()
212     thread_ptr -> tx_thread_execution_time_last_start =  current_time;  in _tx_execution_thread_enter()
222         if (current_time >= last_start_time)  in _tx_execution_thread_enter()
226             delta_time =  (EXECUTION_TIME) (current_time - last_start_time);  in _tx_execution_thread_enter()
232 …delta_time =  (EXECUTION_TIME) (current_time + ((((EXECUTION_TIME_SOURCE_TYPE) TX_EXECUTION_MAX_TI…  in _tx_execution_thread_enter()
305 EXECUTION_TIME_SOURCE_TYPE  current_time;  in _tx_execution_thread_exit()  local
317         current_time =  TX_EXECUTION_TIME_SOURCE;  in _tx_execution_thread_exit()
330             if (current_time >= last_start_time)  in _tx_execution_thread_exit()
334                 delta_time =  (EXECUTION_TIME) (current_time - last_start_time);  in _tx_execution_thread_exit()
340 …delta_time =  (EXECUTION_TIME) (current_time + ((((EXECUTION_TIME_SOURCE_TYPE) TX_EXECUTION_MAX_TI…  in _tx_execution_thread_exit()
430 EXECUTION_TIME_SOURCE_TYPE  current_time;  in _tx_execution_isr_enter()  local
450         current_time =  TX_EXECUTION_TIME_SOURCE;  in _tx_execution_isr_enter()
470                 if (current_time >= last_start_time)  in _tx_execution_isr_enter()
474                     delta_time =  (EXECUTION_TIME) (current_time - last_start_time);  in _tx_execution_isr_enter()
480 …delta_time =  (EXECUTION_TIME) (current_time + ((((EXECUTION_TIME_SOURCE_TYPE) TX_EXECUTION_MAX_TI…  in _tx_execution_isr_enter()
524             if (current_time >= last_start_time)  in _tx_execution_isr_enter()
528                 delta_time =  (EXECUTION_TIME) (current_time - last_start_time);  in _tx_execution_isr_enter()
534 …delta_time =  (EXECUTION_TIME) (current_time + ((((EXECUTION_TIME_SOURCE_TYPE) TX_EXECUTION_MAX_TI…  in _tx_execution_isr_enter()
559         _tx_execution_isr_time_last_start =  current_time;  in _tx_execution_isr_enter()
611 EXECUTION_TIME_SOURCE_TYPE  current_time;  in _tx_execution_isr_exit()  local
625         current_time =  TX_EXECUTION_TIME_SOURCE;  in _tx_execution_isr_exit()
631         if (current_time >= last_start_time)  in _tx_execution_isr_exit()
635            delta_time =  (EXECUTION_TIME) (current_time - last_start_time);  in _tx_execution_isr_exit()
641 …delta_time =  (EXECUTION_TIME) (current_time + (((EXECUTION_TIME_SOURCE_TYPE) TX_EXECUTION_MAX_TIM…  in _tx_execution_isr_exit()
673                 thread_ptr -> tx_thread_execution_time_last_start =  current_time;  in _tx_execution_isr_exit()