xen_clocksource_read

127

op.u.settime64.system_time = xen_clocksource_read();

132

op.u.settime32.system_time = xen_clocksource_read();

207

return xen_clocksource_read() + delta;

400

xen_clock_value_saved = xen_clocksource_read() - xen_sched_clock_offset;

443

xen_sched_clock_offset = xen_clocksource_read() - xen_clock_value_saved;

567

xen_sched_clock_offset = xen_clocksource_read();

63

return xen_clocksource_read();