xen_sched_clock_offset   34 arch/x86/xen/time.c static u64 xen_sched_clock_offset __read_mostly;
xen_sched_clock_offset   64 arch/x86/xen/time.c 	return xen_clocksource_read() - xen_sched_clock_offset;
xen_sched_clock_offset  387 arch/x86/xen/time.c 	xen_clock_value_saved = xen_clocksource_read() - xen_sched_clock_offset;
xen_sched_clock_offset  429 arch/x86/xen/time.c 	xen_sched_clock_offset = xen_clocksource_read() - xen_clock_value_saved;
xen_sched_clock_offset  521 arch/x86/xen/time.c 	xen_sched_clock_offset = xen_clocksource_read();
xen_sched_clock_offset  563 arch/x86/xen/time.c 	xen_sched_clock_offset = xen_clocksource_read();