Changeset 43b1e86 in mainline for kernel/generic/src/interrupt/interrupt.c

Timestamp:

2008-02-01T14:11:18Z (17 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

9652bd59

Parents:

acfdcb0

Message:

prettyprint output

File:

• kernel/generic/src/interrupt/interrupt.c (modified) (2 diffs)

kernel/generic/src/interrupt/interrupt.c

@@ -104 +104 @@
 static int exc_print_cmd(cmd_arg_t *argv)
 {
-        int i;
+        unsigned int i;
         char *symbol;
 
         spinlock_lock(&exctbl_lock);
-        printf("Exc Description Handler\n");
-        for (i=0; i < IVT_ITEMS; i++) {
-                symbol = get_symtab_entry((unative_t)exc_table[i].f);
+        
+        if (sizeof(void *) == 4) {
+                printf("Exc Description  Handler    Symbol\n");
+                printf("--- ------------ ---------- --------\n");
+        } else {
+                printf("Exc Description  Handler            Symbol\n");
+                printf("--- ------------ ------------------ --------\n");
+        }
+        
+        for (i = 0; i < IVT_ITEMS; i++) {
+                symbol = get_symtab_entry((unative_t) exc_table[i].f);
                 if (!symbol)
                         symbol = "not found";
-                printf("%d %s %.*p(%s)\n", i + IVT_FIRST, exc_table[i].name,
-                       sizeof(uintptr_t) * 2, exc_table[i].f,symbol);           
-                if (!((i+1) % 20)) {
-                        printf("Press any key to continue.");
+                
+                if (sizeof(void *) == 4)
+                        printf("%-3u %-12s %#10zx %s\n", i + IVT_FIRST, exc_table[i].name,
+                                exc_table[i].f, symbol);
+                else
+                        printf("%-3u %-12s %#18zx %s\n", i + IVT_FIRST, exc_table[i].name,
+                                exc_table[i].f, symbol);
+                
+                if (((i + 1) % 20) == 0) {
+                        printf(" -- Press any key to continue -- ");
                         spinlock_unlock(&exctbl_lock);
                         getc(stdin);
@@ -123 +137 @@
                 }
         }
+        
         spinlock_unlock(&exctbl_lock);