Changes in kernel/arch/mips32/src/debugger.c [9d58539:193d280c] in mainline

File:

• kernel/arch/mips32/src/debugger.c (modified) (5 diffs)

kernel/arch/mips32/src/debugger.c

@@ -39 +39 @@
 #include <console/cmd.h>
 #include <print.h>
+#include <log.h>
 #include <panic.h>
 #include <arch.h>
@@ -96 +97 @@
         .argv = adde_argv
 };
+#endif
 
 static struct {
@@ -146 +148 @@
 }
 
+#ifdef CONFIG_KCONSOLE
+
 /** Add new breakpoint to table
  *
@@ -284 +288 @@
  *
  */
-void debugger_init()
+void debugger_init(void)
 {
         unsigned int i;
@@ -294 +298 @@
         cmd_initialize(&bkpts_info);
         if (!cmd_register(&bkpts_info))
-                printf("Cannot register command %s\n", bkpts_info.name);
+                log(LF_OTHER, LVL_WARN, "Cannot register command %s",
+                    bkpts_info.name);
         
         cmd_initialize(&delbkpt_info);
         if (!cmd_register(&delbkpt_info))
-                printf("Cannot register command %s\n", delbkpt_info.name);
+                log(LF_OTHER, LVL_WARN, "Cannot register command %s",
+                    delbkpt_info.name);
         
         cmd_initialize(&addbkpt_info);
         if (!cmd_register(&addbkpt_info))
-                printf("Cannot register command %s\n", addbkpt_info.name);
+                log(LF_OTHER, LVL_WARN, "Cannot register command %s",
+                    addbkpt_info.name);
         
         cmd_initialize(&addbkpte_info);
         if (!cmd_register(&addbkpte_info))
-                printf("Cannot register command %s\n", addbkpte_info.name);
+                log(LF_OTHER, LVL_WARN, "Cannot register command %s",
+                    addbkpte_info.name);
 #endif /* CONFIG_KCONSOLE */
 }