Changeset 214ec25c in mainline for kernel/arch/amd64/src/interrupt.c

Timestamp:

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

Author:

Martin Decky <martin@…>

Branches:

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

Children:

b584cd4

Parents:

b3b7e14

Message:

use unsigned integers for exception and interrupt numbers

File:

• kernel/arch/amd64/src/interrupt.c (modified) (7 diffs)

kernel/arch/amd64/src/interrupt.c

@@ -92 +92 @@
 }
 
-static void null_interrupt(int n, istate_t *istate)
-{
-        fault_if_from_uspace(istate, "Unserviced interrupt: %d.", n);
+static void null_interrupt(unsigned int n, istate_t *istate)
+{
+        fault_if_from_uspace(istate, "Unserviced interrupt: %u.", n);
         decode_istate(n, istate);
         panic("Unserviced interrupt.");
 }
 
-static void de_fault(int n, istate_t *istate)
+static void de_fault(unsigned int n, istate_t *istate)
 {
         fault_if_from_uspace(istate, "Divide error.");
@@ -109 +109 @@
  *
  */
-static void gp_fault(int n, istate_t *istate)
+static void gp_fault(unsigned int n, istate_t *istate)
 {
         if (TASK) {
@@ -134 +134 @@
 }
 
-static void ss_fault(int n, istate_t *istate)
+static void ss_fault(unsigned int n, istate_t *istate)
 {
         fault_if_from_uspace(istate, "Stack fault.");
@@ -141 +141 @@
 }
 
-static void nm_fault(int n, istate_t *istate)
+static void nm_fault(unsigned int n, istate_t *istate)
 {
 #ifdef CONFIG_FPU_LAZY
@@ -152 +152 @@
 
 #ifdef CONFIG_SMP
-static void tlb_shootdown_ipi(int n, istate_t *istate)
+static void tlb_shootdown_ipi(unsigned int n, istate_t *istate)
 {
         trap_virtual_eoi();
@@ -162 +162 @@
  *
  */
-static void irq_interrupt(int n, istate_t *istate)
+static void irq_interrupt(unsigned int n, istate_t *istate)
 {
         ASSERT(n >= IVT_IRQBASE);
         
-        int inum = n - IVT_IRQBASE;
+        unsigned int inum = n - IVT_IRQBASE;
         bool ack = false;
         ASSERT(inum < IRQ_COUNT);
@@ -189 +189 @@
                  */
 #ifdef CONFIG_DEBUG
-                printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, inum);
+                printf("cpu%u: spurious interrupt (inum=%u)\n", CPU->id, inum);
 #endif
         }