Symbol: alpha_softint_dispatch
sys/arch/alpha/alpha/interrupt.c
581
alpha_softint_dispatch(ipl);
sys/arch/alpha/include/intr.h
169
void alpha_softint_dispatch(int);