Lines Matching defs:xen_clocksource_read
47 static u64 xen_clocksource_read(void)
61 return xen_clocksource_read();
125 op.u.settime64.system_time = xen_clocksource_read();
130 op.u.settime32.system_time = xen_clocksource_read();
205 return xen_clocksource_read() + delta;
398 xen_clock_value_saved = xen_clocksource_read() - xen_sched_clock_offset;
439 /* Need pvclock_resume() before using xen_clocksource_read(). */
441 xen_sched_clock_offset = xen_clocksource_read() - xen_clock_value_saved;
565 xen_sched_clock_offset = xen_clocksource_read();
623 * __this_cpu_read(xen_vcpu) via xen_clocksource_read() will panic.