Symbol: xen_timepush_intr
sys/arch/xen/xen/xen_clock.c
170
static void xen_timepush_intr(void *);
sys/arch/xen/xen/xen_clock.c
944
callout_setfunc(&xen_timepush.ch, xen_timepush_intr, NULL);