Searched refs:curr_tick (Results 1 – 1 of 1) sorted by relevance
71 uint64_t curr_tick = us_ticker_read (); /* The value is in microseconds. */ in jerry_port_get_current_time() local84 } else if (last_tick > curr_tick) { in jerry_port_get_current_time()87 result += (curr_tick / 1000 - skew) % 1000; in jerry_port_get_current_time()89 last_tick = curr_tick; in jerry_port_get_current_time()