Lines Matching refs:xen_clocksource_read
46 static u64 xen_clocksource_read(void)
60 return xen_clocksource_read();
65 return xen_clocksource_read() - xen_sched_clock_offset;
117 op.u.settime64.system_time = xen_clocksource_read();
122 op.u.settime32.system_time = xen_clocksource_read();
197 return xen_clocksource_read() + delta;
395 xen_clock_value_saved = xen_clocksource_read() - xen_sched_clock_offset;
436 /* Need pvclock_resume() before using xen_clocksource_read(). */
438 xen_sched_clock_offset = xen_clocksource_read() - xen_clock_value_saved;
530 xen_sched_clock_offset = xen_clocksource_read();
581 * __this_cpu_read(xen_vcpu) via xen_clocksource_read() will panic.
592 xen_sched_clock_offset = xen_clocksource_read();