Symbol: ia64_dispatch_intr
sys/arch/ia64/ia64/interrupt.c
175
handled = ia64_dispatch_intr(tf, vector);
sys/arch/ia64/ia64/interrupt.c
68
static int ia64_dispatch_intr(void *, u_int);