exc_undef 339 kernel/generic/src/interrupt/interrupt.c (void) exc_undef; exc_undef 345 kernel/generic/src/interrupt/interrupt.c exc_register(i, "undef", false, (iroutine_t) exc_undef);