xen_set_wallclock  532 arch/x86/xen/time.c 		x86_platform.set_wallclock = xen_set_wallclock;
xen_set_wallclock  570 arch/x86/xen/time.c 	x86_platform.set_wallclock = xen_set_wallclock;