xen_clocksource_read   60 arch/x86/xen/spinlock.c 	return xen_clocksource_read();
xen_clocksource_read   77 arch/x86/xen/spinlock.c 	u32 delta = xen_clocksource_read() - start;
xen_clocksource_read   85 arch/x86/xen/spinlock.c 	u32 delta = xen_clocksource_read() - start;
xen_clocksource_read   93 arch/x86/xen/spinlock.c 	u32 delta = xen_clocksource_read() - start;
xen_clocksource_read  178 arch/x86/xen/time.c 	now = xen_clocksource_read();
xen_clocksource_read  253 arch/x86/xen/time.c 	.read = xen_clocksource_read,
xen_clocksource_read  293 arch/x86/xen/time.c 	return xen_clocksource_read() + delta;
xen_clocksource_read   38 arch/x86/xen/xen-ops.h cycle_t xen_clocksource_read(void);