xen_get_wallclock 1196 arch/x86/xen/enlighten.c 	.get_wallclock = xen_get_wallclock,
xen_get_wallclock   42 arch/x86/xen/xen-ops.h unsigned long xen_get_wallclock(void);