exc_dispatch 80 kernel/arch/arm32/src/ras.c exc_dispatch(n, istate); exc_dispatch 68 kernel/generic/include/interrupt.h extern void exc_dispatch(unsigned int, istate_t *);