Changeset b3b7e14a in mainline for kernel/arch/ia32/src

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/ia32/src

Files:

• drivers/i8259.c (modified) (2 diffs)
• interrupt.c (modified) (1 diff)
• mm/page.c (modified) (1 diff)
• smp/apic.c (modified) (1 diff)

kernel/arch/ia32/src/drivers/i8259.c

@@ -27 +27 @@
  */
 
-/** @addtogroup ia32    
+/** @addtogroup ia32
  * @{
  */
@@ -76 +76 @@
          * Register interrupt handler for the PIC spurious interrupt.
          */
-        exc_register(VECTOR_PIC_SPUR, "pic_spurious", (iroutine) pic_spurious); 
+        exc_register(VECTOR_PIC_SPUR, "pic_spurious", false,
+            (iroutine_t) pic_spurious);
 
         /*

kernel/arch/ia32/src/interrupt.c

@@ -215 +215 @@
 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(19, "simd_fp", (iroutine) simd_fp_exception);
+        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(19, "simd_fp", true, (iroutine_t) simd_fp_exception);
         
 #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/ia32/src/mm/page.c

@@ -70 +70 @@
                 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

kernel/arch/ia32/src/smp/apic.c

@@ -157 +157 @@
 void apic_init(void)
 {
-        exc_register(VECTOR_APIC_SPUR, "apic_spurious", (iroutine) apic_spurious);
+        exc_register(VECTOR_APIC_SPUR, "apic_spurious", false,
+            (iroutine_t) apic_spurious);
         
         enable_irqs_function = io_apic_enable_irqs;