Symbol: xen_read_wallclock
arch/arm/xen/enlighten.c
550
xen_read_wallclock(&ts);
arch/x86/xen/time.c
540
xen_read_wallclock(&tp);
arch/x86/xen/time.c
91
xen_read_wallclock(now);