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

Timestamp:

2008-06-14T11:55:47Z (16 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

1e1e5e1

Parents:

8605b24

Message:

Formatting fixes for amd64 debugger.

File:

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

kernel/arch/amd64/src/debugger.c

@@ -123 +123 @@
 
 #ifdef __32_BITS__
-                        printf("%-2u %-5d %#10zx %s\n", i, breakpoints[i].counter,
-                                breakpoints[i].address, symbol);
+                        printf("%-2u %-5d %#10zx %s\n", i,
+                            breakpoints[i].counter, breakpoints[i].address,
+                            symbol);
 #endif
 
 #ifdef __64_BITS__
-                        printf("%-2u %-5d %#18zx %s\n", i, breakpoints[i].counter,
-                                breakpoints[i].address, symbol);
+                        printf("%-2u %-5d %#18zx %s\n", i,
+                            breakpoints[i].counter, breakpoints[i].address,
+                            symbol);
 #endif
 
@@ -185 +187 @@
 
                 /* Enable global breakpoint */
-                dr7 |= 0x2 << (curidx*2);
+                dr7 |= 0x2 << (curidx * 2);
 
                 write_dr7(dr7);
@@ -257 +259 @@
                         if (*((unative_t *) breakpoints[slot].address) != 0)
                                 return;
-                        printf("**** Found ZERO on address %lx (slot %d) ****\n",
-                                breakpoints[slot].address, slot);
+                        printf("*** Found ZERO on address %lx (slot %d) ***\n",
+                            breakpoints[slot].address, slot);
                 } else {
                         printf("Data watchpoint - new data: %lx\n",
-                               *((unative_t *) breakpoints[slot].address));
+                            *((unative_t *) breakpoints[slot].address));
                 }
         }
         printf("Reached breakpoint %d:%lx(%s)\n", slot, getip(istate),
-               get_symtab_entry(getip(istate)));
+            get_symtab_entry(getip(istate)));
         printf("***Type 'exit' to exit kconsole.\n");
         atomic_set(&haltstate,1);
@@ -358 +360 @@
 
 #ifdef CONFIG_SMP
-static void debug_ipi(int n __attribute__((unused)), istate_t *istate __attribute__((unused)))
+static void
+debug_ipi(int n __attribute__((unused)),
+    istate_t *istate __attribute__((unused)))
 {
         int i;
@@ -374 +378 @@
         int i;
 
-        for (i=0; i<BKPOINTS_MAX; i++)
+        for (i = 0; i < BKPOINTS_MAX; i++)
                 breakpoints[i].address = NULL;
         
@@ -395 +399 @@
 #endif
         
-        exc_register(VECTOR_DEBUG, "debugger",
-                     debug_exception);
+        exc_register(VECTOR_DEBUG, "debugger", debug_exception);
 #ifdef CONFIG_SMP
-        exc_register(VECTOR_DEBUG_IPI, "debugger_smp",
-                     debug_ipi);
+        exc_register(VECTOR_DEBUG_IPI, "debugger_smp", debug_ipi);
 #endif
 }