Searched refs:xen_clock_value_saved (Results 1 – 1 of 1) sorted by relevance
380 static u64 xen_clock_value_saved; variable387 xen_clock_value_saved = xen_clocksource_read() - xen_sched_clock_offset; in xen_save_time_memory_area()429 xen_sched_clock_offset = xen_clocksource_read() - xen_clock_value_saved; in xen_restore_time_memory_area()