xen_get_wallclock  529 arch/x86/xen/time.c 	x86_platform.get_wallclock = xen_get_wallclock;
xen_get_wallclock  569 arch/x86/xen/time.c 	x86_platform.get_wallclock = xen_get_wallclock;