Symbol: xen_wallclock_time
sys/arch/xen/xen/xen_clock.c
1033
static void xen_wallclock_time(struct timespec *);
sys/arch/xen/xen/xen_clock.c
1067
xen_wallclock_time(&ts);