Symbol: xen_clock_init
sys/dev/xen/timer/timer.h
32
void xen_clock_init(void);
sys/x86/xen/pv.c
110
.early_clock_source_init = xen_clock_init,