xen_read_wallclock  411 arch/arm/xen/enlighten.c 		xen_read_wallclock(&ts);
xen_read_wallclock   80 arch/x86/xen/time.c 	xen_read_wallclock(now);
xen_read_wallclock  494 arch/x86/xen/time.c 	xen_read_wallclock(&tp);