Searched refs:jerry_timer_1_counter (Results 1 – 1 of 1) sorted by relevance
181 static int32_t jerry_timer_1_counter; variable340 jerry_timer_1_counter = 0; in JERRYReset()