Symbol: xen_timepush_init
sys/arch/xen/xen/xen_clock.c
169
static void xen_timepush_init(void);
sys/arch/xen/xen/xen_clock.c
923
xen_timepush_init();