188 static void             osek_reset_counter(OSEK_COUNTER  *counter_ptr);
3825 StatusType  GetCounterValue(OSEK_COUNTER *counter_ptr, TickRefType tick_ptr)  in GetCounterValue()  argument
3829     if ((counter_ptr != TX_NULL) && (counter_ptr->osek_counter_id == OSEK_COUNTER_ID))  in GetCounterValue()
3831         *tick_ptr = counter_ptr->counter_value;  in GetCounterValue()
5016 OSEK_COUNTER        *counter_ptr;  in SetRelAlarm()  local
5077     counter_ptr = osek_alarm->cntr;  in SetRelAlarm()
5079     status = GetCounterValue(counter_ptr, &current_value);  in SetRelAlarm()
5225 OSEK_COUNTER        *counter_ptr;  in GetAlarm()  local
5254     counter_ptr = osek_alarm->cntr;  in GetAlarm()
5256     status = GetCounterValue(counter_ptr, &current_ticks);  in GetAlarm()
6406 static void osek_reset_counter(OSEK_COUNTER *counter_ptr)  in osek_reset_counter()  argument
6414     counter_ptr->cntr_in_use = TX_FALSE;  in osek_reset_counter()
6417     counter_ptr->counter_value = 0u;  in osek_reset_counter()
6420     counter_ptr->maxallowedvalue = 0u;  in osek_reset_counter()
6423     counter_ptr->mincycle = 0u;  in osek_reset_counter()
6426     counter_ptr->ticksperbase = 1u;  in osek_reset_counter()
6429     counter_ptr->system_timer = TX_FALSE;  in osek_reset_counter()
6434         counter_ptr->alarm_list[index] = 0u;  in osek_reset_counter()
6437     counter_ptr->osek_counter_id = 0u;  in osek_reset_counter()