EXC_Int 43 kernel/arch/mips32/include/arch/interrupt.h #define VECTOR_TLB_SHOOTDOWN_IPI EXC_Int EXC_Int 227 kernel/arch/mips32/src/exception.c exc_register(EXC_Int, "interrupt", true,