Searched refs:xen_clocksource_read (Results 1 – 3 of 3) sorted by relevance
166 cycle_t xen_clocksource_read(void) in xen_clocksource_read() function180 return xen_clocksource_read(); in xen_clocksource_get_cycles()214 op.u.settime.system_time = xen_clocksource_read(); in xen_set_wallclock()263 return xen_clocksource_read() + delta; in get_abs_timeout()454 .sched_clock = xen_clocksource_read,
61 return xen_clocksource_read(); in spin_time_start()78 u32 delta = xen_clocksource_read() - start; in spin_time_accum_spinning()86 u32 delta = xen_clocksource_read() - start; in spin_time_accum_total()94 u32 delta = xen_clocksource_read() - start; in spin_time_accum_blocked()
54 cycle_t xen_clocksource_read(void);