Searched refs:xen_clocksource_read (Results 1 - 1 of 1) sorted by relevance

/linux-master/arch/x86/xen/
H A Dtime.c47 static u64 xen_clocksource_read(void) function
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() wil
[all...]

Completed in 134 milliseconds