Lines Matching refs:current_tick
67 u64 current_tick;
69 current_tick = hv_read_reference_counter();
70 current_tick += delta;
71 hv_init_timer(0, current_tick);
331 u64 current_tick = hv_read_tsc_page(hv_get_tsc_page());
333 if (current_tick == U64_MAX)
334 hv_get_time_ref_count(current_tick);
336 return current_tick;
392 u64 current_tick;
398 hv_get_time_ref_count(current_tick);
399 return current_tick;