Changes in kernel/arch/arm32/src/mach/gta02/gta02.c [b67ce1ff:c5429fe] in mainline

File:

• kernel/arch/arm32/src/mach/gta02/gta02.c (modified) (2 diffs)

kernel/arch/arm32/src/mach/gta02/gta02.c

@@ -146 +146 @@
                 /* The IRQ handler was found. */
                 irq->handler(irq);
-                irq_spinlock_unlock(&irq->lock, false);
+                spinlock_unlock(&irq->lock);
         } else {
-                /* Spurious interrupt. */
+                /* Spurious interrupt.*/
                 log(LF_ARCH, LVL_DEBUG, "cpu%d: spurious interrupt (inum=%d)",
                     CPU->id, inum);
@@ -258 +258 @@
          * Release the lock, call clock() and reacquire the lock again.
          */
-        irq_spinlock_unlock(&irq->lock, false);
+        spinlock_unlock(&irq->lock);
         clock();
-        irq_spinlock_lock(&irq->lock, false);
+        spinlock_lock(&irq->lock);
 }