Symbol: xen_timer_handler
sys/arch/xen/xen/xen_clock.c
694
__FPTRCAST(int (*)(void *), xen_timer_handler), ci);
sys/arch/xen/xen/xen_clock.c
735
__FPTRCAST(int (*)(void *), xen_timer_handler),
sys/arch/xen/xen/xen_clock.c
77
static int xen_timer_handler(void *, struct clockframe *);