Changeset 214ec25c in mainline for kernel/arch/amd64/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/amd64/src

Files:

• debugger.c (modified) (2 diffs)
• interrupt.c (modified) (7 diffs)
• mm/page.c (modified) (2 diffs)

kernel/arch/amd64/src/debugger.c

@@ -268 +268 @@
 }
 
-static void debug_exception(int n __attribute__((unused)), istate_t *istate)
+static void debug_exception(unsigned int n __attribute__((unused)), istate_t *istate)
 {
         /* Set RF to restart the instruction  */
@@ -293 +293 @@
 
 #ifdef CONFIG_SMP
-static void debug_ipi(int n __attribute__((unused)),
+static void debug_ipi(unsigned int n __attribute__((unused)),
     istate_t *istate __attribute__((unused)))
 {

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
         }

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

@@ -129 +129 @@
  * items.
  */
-void ident_page_fault(int n, istate_t *istate)
+void ident_page_fault(unsigned int n, istate_t *istate)
 {
         uintptr_t page;
@@ -177 +177 @@
 
 
-void page_fault(int n, istate_t *istate)
+void page_fault(unsigned int n, istate_t *istate)
 {
         uintptr_t page;