xen_read_wallclock 240 arch/x86/xen/time.c xen_read_wallclock(&ts); xen_read_wallclock 495 arch/x86/xen/time.c xen_read_wallclock(&xtime);