Changes in kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c [73abf49:b67ce1ff] in mainline

File:

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

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

@@ -94 +94 @@
 {
         bcm2835_timer_irq_ack(raspi.timer);
-        spinlock_unlock(&irq->lock);
+        irq_spinlock_unlock(&irq->lock, false);
         clock();
-        spinlock_lock(&irq->lock);
+        irq_spinlock_lock(&irq->lock, false);
 }
 
@@ -159 +159 @@
                 /* The IRQ handler was found. */
                 irq->handler(irq);
-                spinlock_unlock(&irq->lock);
+                irq_spinlock_unlock(&irq->lock, false);
         } else {
                 /* Spurious interrupt. */