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);