Changes in kernel/arch/ppc32/src/interrupt.c [d99c1d2:ffe276f] in mainline

File:

• kernel/arch/ppc32/src/interrupt.c (modified) (4 diffs)

kernel/arch/ppc32/src/interrupt.c

@@ -44 +44 @@
 #include <print.h>
 
-
 void start_decrementer(void)
 {
         asm volatile (
-                "mtdec %0\n"
-                :
-                : "r" (1000)
+                "mtdec %[dec]\n"
+                :: [dec] "r" (1000)
         );
 }
 
-
-/** Handler of external interrupts */
+/** External interrupts handler
+ *
+ */
 static void exception_external(int n, istate_t *istate)
 {
-        int inum;
+        uint8_t inum;
         
-        while ((inum = pic_get_pending()) != -1) {
+        while ((inum = pic_get_pending()) != 255) {
                 irq_t *irq = irq_dispatch_and_lock(inum);
                 if (irq) {
@@ -80 +79 @@
                         }
                         
-                        spinlock_unlock(&irq->lock);
+                        irq_spinlock_unlock(&irq->lock, false);
                 } else {
                         /*
@@ -86 +85 @@
                          */
 #ifdef CONFIG_DEBUG
-                        printf("cpu%u: spurious interrupt (inum=%d)\n", CPU->id, inum);
+                        printf("cpu%" PRIs ": spurious interrupt (inum=%" PRIu8 ")\n",
+                            CPU->id, inum);
 #endif
                 }
         }
 }
-
 
 static void exception_decrementer(int n, istate_t *istate)
@@ -98 +97 @@
         clock();
 }
-
 
 /* Initialize basic tables for exception dispatching */