xen_set_wallclock 1195 arch/x86/xen/enlighten.c 	.set_wallclock = xen_set_wallclock,
xen_set_wallclock   43 arch/x86/xen/xen-ops.h int xen_set_wallclock(unsigned long time);