HelenOS sources

debugger_init      72 kernel/arch/mips32/include/arch/debugger.h extern void debugger_init(void);
debugger_init     140 kernel/arch/mips32/src/mips32.c 	debugger_init();