Searched refs:xen_clock_value_saved (Results 1 – 1 of 1) sorted by relevance
383 static u64 xen_clock_value_saved; variable390 xen_clock_value_saved = xen_clocksource_read() - xen_sched_clock_offset; in xen_save_time_memory_area()433 xen_sched_clock_offset = xen_clocksource_read() - xen_clock_value_saved; in xen_restore_time_memory_area()