Changeset 687c3cd in mainline for kernel/arch/amd64/src/debugger.c

Timestamp:

2009-02-14T21:06:57Z (15 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

4cac212c

Parents:

74bcf5e

Message:

Get rid of CONFIG_DEBUG_AS_WATCHPOINT.

File:

• kernel/arch/amd64/src/debugger.c (modified) (6 diffs)

kernel/arch/amd64/src/debugger.c

@@ -65 +65 @@
 };
 
-#ifndef CONFIG_DEBUG_AS_WATCHPOINT
-
 static int cmd_del_breakpoint(cmd_arg_t *argv);
 static cmd_arg_t del_argv = {
@@ -102 +100 @@
 };
 
-#endif /* CONFIG_DEBUG_AS_WATCHPOINT */
 #endif /* CONFIG_KCONSOLE */
 
@@ -321 +318 @@
                 printf("Cannot register command %s\n", bkpts_info.name);
 
-#ifndef CONFIG_DEBUG_AS_WATCHPOINT
         cmd_initialize(&delbkpt_info);
         if (!cmd_register(&delbkpt_info))
@@ -333 +329 @@
         if (!cmd_register(&addwatchp_info))
                 printf("Cannot register command %s\n", addwatchp_info.name);
-#endif /* CONFIG_DEBUG_AS_WATCHPOINT */
 #endif /* CONFIG_KCONSOLE */
         
@@ -378 +373 @@
         return 1;
 }
-
-#ifndef CONFIG_DEBUG_AS_WATCHPOINT
 
 /** Remove breakpoint from table */
@@ -413 +406 @@
         return 1;
 }
-#endif /* CONFIG_DEBUG_AS_WATCHPOINT */
 #endif /* CONFIG_KCONSOLE */