Changeset 214ec25c in mainline for kernel/arch/ia32/src

Timestamp:

2010-06-11T16:07:21Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

b584cd4

Parents:

b3b7e14a

Message:

use unsigned integers for exception and interrupt numbers

Location:

kernel/arch/ia32/src

Files:

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

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

@@ -45 +45 @@
 #include <interrupt.h>
 
-static void pic_spurious(int n, istate_t *istate);
+static void pic_spurious(unsigned int n, istate_t *istate);
 
 void i8259_init(void)
@@ -125 +125 @@
 }
 
-void pic_spurious(int n __attribute__((unused)), istate_t *istate __attribute__((unused)))
+void pic_spurious(unsigned int n __attribute__((unused)), istate_t *istate __attribute__((unused)))
 {
 #ifdef CONFIG_DEBUG

kernel/arch/ia32/src/interrupt.c

@@ -91 +91 @@
 }
 
-static void null_interrupt(int n, istate_t *istate)
-{
-        fault_if_from_uspace(istate, "Unserviced interrupt: %d.", n);
-        
-        decode_istate(istate);
-        panic("Unserviced interrupt: %d.", n);
-}
-
-static void de_fault(int n, istate_t *istate)
+static void null_interrupt(unsigned int n, istate_t *istate)
+{
+        fault_if_from_uspace(istate, "Unserviced interrupt: %u.", n);
+        
+        decode_istate(istate);
+        panic("Unserviced interrupt: %u.", n);
+}
+
+static void de_fault(unsigned int n, istate_t *istate)
 {
         fault_if_from_uspace(istate, "Divide error.");
@@ -108 +108 @@
 
 /** General Protection Fault. */
-static void gp_fault(int n __attribute__((unused)), istate_t *istate)
+static void gp_fault(unsigned int n __attribute__((unused)), istate_t *istate)
 {
         if (TASK) {
@@ -133 +133 @@
 }
 
-static void ss_fault(int n __attribute__((unused)), istate_t *istate)
+static void ss_fault(unsigned int n __attribute__((unused)), istate_t *istate)
 {
         fault_if_from_uspace(istate, "Stack fault.");
@@ -141 +141 @@
 }
 
-static void simd_fp_exception(int n __attribute__((unused)), istate_t *istate)
+static void simd_fp_exception(unsigned int n __attribute__((unused)), istate_t *istate)
 {
         uint32_t mxcsr;
@@ -157 +157 @@
 }
 
-static void nm_fault(int n __attribute__((unused)),
+static void nm_fault(unsigned int n __attribute__((unused)),
     istate_t *istate __attribute__((unused)))
 {
@@ -169 +169 @@
 
 #ifdef CONFIG_SMP
-static void tlb_shootdown_ipi(int n __attribute__((unused)),
+static void tlb_shootdown_ipi(unsigned int n __attribute__((unused)),
     istate_t *istate __attribute__((unused)))
 {
@@ -178 +178 @@
 
 /** Handler of IRQ exceptions */
-static void irq_interrupt(int n, istate_t *istate __attribute__((unused)))
+static void irq_interrupt(unsigned int n, istate_t *istate __attribute__((unused)))
 {
         ASSERT(n >= IVT_IRQBASE);
         
-        int inum = n - IVT_IRQBASE;
+        unsigned int inum = n - IVT_IRQBASE;
         bool ack = false;
         ASSERT(inum < IRQ_COUNT);
@@ -205 +205 @@
                  */
 #ifdef CONFIG_DEBUG
-                printf("cpu%u: spurious interrupt (inum=%d)\n", CPU->id, inum);
+                printf("cpu%u: spurious interrupt (inum=%u)\n", CPU->id, inum);
 #endif
         }

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

@@ -98 +98 @@
 }
 
-void page_fault(int n __attribute__((unused)), istate_t *istate)
+void page_fault(unsigned int n __attribute__((unused)), istate_t *istate)
 {
         uintptr_t page;

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

@@ -129 +129 @@
  *
  */
-static void apic_spurious(int n __attribute__((unused)),
+static void apic_spurious(unsigned int n __attribute__((unused)),
     istate_t *istate __attribute__((unused)))
 {