exc_init 69 kernel/generic/include/interrupt.h extern void exc_init(void); exc_init 209 kernel/generic/src/main/main.c exc_init();