Symbol: xen_set_wallclock
arch/x86/xen/time.c
586
x86_platform.set_wallclock = xen_set_wallclock;
arch/x86/xen/time.c
642
x86_platform.set_wallclock = xen_set_wallclock;