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);