Searched refs:xen_clocksource_read (Results 1 – 1 of 1) sorted by relevance
45 static u64 xen_clocksource_read(void) in xen_clocksource_read() function59 return xen_clocksource_read(); in xen_clocksource_get_cycles()64 return xen_clocksource_read() - xen_sched_clock_offset; in xen_sched_clock()116 op.u.settime64.system_time = xen_clocksource_read(); in xen_pvclock_gtod_notify()121 op.u.settime32.system_time = xen_clocksource_read(); in xen_pvclock_gtod_notify()189 return xen_clocksource_read() + delta; in get_abs_timeout()387 xen_clock_value_saved = xen_clocksource_read() - xen_sched_clock_offset; in xen_save_time_memory_area()429 xen_sched_clock_offset = xen_clocksource_read() - xen_clock_value_saved; in xen_restore_time_memory_area()521 xen_sched_clock_offset = xen_clocksource_read(); in xen_init_time_ops()563 xen_sched_clock_offset = xen_clocksource_read(); in xen_hvm_init_time_ops()
