xen_clocksource_read   59 arch/x86/xen/time.c 	return xen_clocksource_read();
xen_clocksource_read   64 arch/x86/xen/time.c 	return xen_clocksource_read() - xen_sched_clock_offset;
xen_clocksource_read  116 arch/x86/xen/time.c 		op.u.settime64.system_time = xen_clocksource_read();
xen_clocksource_read  121 arch/x86/xen/time.c 		op.u.settime32.system_time = xen_clocksource_read();
xen_clocksource_read  189 arch/x86/xen/time.c 	return xen_clocksource_read() + delta;
xen_clocksource_read  387 arch/x86/xen/time.c 	xen_clock_value_saved = xen_clocksource_read() - xen_sched_clock_offset;
xen_clocksource_read  429 arch/x86/xen/time.c 	xen_sched_clock_offset = xen_clocksource_read() - xen_clock_value_saved;
xen_clocksource_read  521 arch/x86/xen/time.c 	xen_sched_clock_offset = xen_clocksource_read();
xen_clocksource_read  563 arch/x86/xen/time.c 	xen_sched_clock_offset = xen_clocksource_read();