xen_clock_value_saved 380 arch/x86/xen/time.c static u64 xen_clock_value_saved; xen_clock_value_saved 387 arch/x86/xen/time.c xen_clock_value_saved = xen_clocksource_read() - xen_sched_clock_offset; xen_clock_value_saved 429 arch/x86/xen/time.c xen_sched_clock_offset = xen_clocksource_read() - xen_clock_value_saved;