Searched refs:time_increment (Results 1 – 5 of 5) sorted by relevance
407 VOID tx_time_increment(ULONG time_increment) in tx_time_increment() argument418 if (time_increment == 0) in tx_time_increment()429 _tx_timer_system_clock = _tx_timer_system_clock + time_increment; in tx_time_increment()436 if (_tx_timer_time_slice > time_increment) in tx_time_increment()437 _tx_timer_time_slice = _tx_timer_time_slice - time_increment; in tx_time_increment()540 if (next_timer -> tx_timer_internal_remaining_ticks > time_increment) in tx_time_increment()544 …timer_internal_remaining_ticks = next_timer -> tx_timer_internal_remaining_ticks - time_increment; in tx_time_increment()
54 VOID tx_time_increment(ULONG time_increment);
412 VOID tx_time_increment(ULONG time_increment) in tx_time_increment() argument423 if (time_increment == 0) in tx_time_increment()433 _tx_timer_system_clock = _tx_timer_system_clock + time_increment; in tx_time_increment()439 if (_tx_timer_time_slice > time_increment) in tx_time_increment()441 _tx_timer_time_slice = _tx_timer_time_slice - time_increment; in tx_time_increment()534 if (next_timer -> tx_timer_internal_remaining_ticks > time_increment) in tx_time_increment()537 …timer_internal_remaining_ticks = next_timer -> tx_timer_internal_remaining_ticks - time_increment; in tx_time_increment()
53 VOID tx_time_increment(ULONG time_increment);
340 VOID tx_time_increment(ULONG time_increment);349 - *time_increment* - Number of ThreadX ticks to increment time and timers.