xen_clocksource_read
op.u.settime64.system_time = xen_clocksource_read();
op.u.settime32.system_time = xen_clocksource_read();
return xen_clocksource_read() + delta;
xen_clock_value_saved = xen_clocksource_read() - xen_sched_clock_offset;
xen_sched_clock_offset = xen_clocksource_read() - xen_clock_value_saved;
xen_sched_clock_offset = xen_clocksource_read();
return xen_clocksource_read();