Symbol: xen_intr_dispatch
sys/dev/pv/xen.c
68
void xen_intr_dispatch(void *);
sys/dev/pv/xen.c
794
task_set(&xi->xi_task, xen_intr_dispatch, xi);