Changeset b3b7e14a in mainline for kernel/arch/amd64

Timestamp:

2010-06-11T15:31:03Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

214ec25c

Parents:

be06914

Message:

distinguish between "hot" and "cold" exceptions
display only "hot" exceptions by default
add top to help

Location:

kernel/arch/amd64/src

Files:

• debugger.c (modified) (1 diff)
• interrupt.c (modified) (1 diff)
• mm/page.c (modified) (1 diff)

kernel/arch/amd64/src/debugger.c

@@ -333 +333 @@
 #endif /* CONFIG_KCONSOLE */
         
-        exc_register(VECTOR_DEBUG, "debugger", debug_exception);
+        exc_register(VECTOR_DEBUG, "debugger", true,
+            debug_exception);
+        
 #ifdef CONFIG_SMP
-        exc_register(VECTOR_DEBUG_IPI, "debugger_smp", debug_ipi);
+        exc_register(VECTOR_DEBUG_IPI, "debugger_smp", true,
+            debug_ipi);
 #endif /* CONFIG_SMP */
 }

kernel/arch/amd64/src/interrupt.c

@@ -199 +199 @@
 void interrupt_init(void)
 {
-        int i;
+        unsigned int i;
         
         for (i = 0; i < IVT_ITEMS; i++)
-                exc_register(i, "null", (iroutine) null_interrupt);
+                exc_register(i, "null", false, (iroutine_t) null_interrupt);
         
         for (i = 0; i < IRQ_COUNT; i++) {
                 if ((i != IRQ_PIC_SPUR) && (i != IRQ_PIC1))
-                        exc_register(IVT_IRQBASE + i, "irq",
-                            (iroutine) irq_interrupt);
+                        exc_register(IVT_IRQBASE + i, "irq", true,
+                            (iroutine_t) irq_interrupt);
         }
         
-        exc_register(0, "de_fault", (iroutine) de_fault);
-        exc_register(7, "nm_fault", (iroutine) nm_fault);
-        exc_register(12, "ss_fault", (iroutine) ss_fault);
-        exc_register(13, "gp_fault", (iroutine) gp_fault);
-        exc_register(14, "ident_mapper", (iroutine) ident_page_fault);
+        exc_register(0, "de_fault", true, (iroutine_t) de_fault);
+        exc_register(7, "nm_fault", true, (iroutine_t) nm_fault);
+        exc_register(12, "ss_fault", true, (iroutine_t) ss_fault);
+        exc_register(13, "gp_fault", true, (iroutine_t) gp_fault);
+        exc_register(14, "ident_mapper", true, (iroutine_t) ident_page_fault);
         
 #ifdef CONFIG_SMP
-        exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown",
-            (iroutine) tlb_shootdown_ipi);
+        exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", true,
+            (iroutine_t) tlb_shootdown_ipi);
 #endif
 }

kernel/arch/amd64/src/mm/page.c

@@ -116 +116 @@
                 page_table_unlock(AS_KERNEL, true);
 
-                exc_register(14, "page_fault", (iroutine) page_fault);
+                exc_register(14, "page_fault", true, (iroutine_t) page_fault);
                 write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
-        } else 
+        } else
                 write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
 }