Searched refs:xen_clock_value_saved (Results 1 – 1 of 1) sorted by relevance
391 static u64 xen_clock_value_saved; variable398 xen_clock_value_saved = xen_clocksource_read() - xen_sched_clock_offset; in xen_save_time_memory_area()441 xen_sched_clock_offset = xen_clocksource_read() - xen_clock_value_saved; in xen_restore_time_memory_area()