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

File:

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

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

@@ -94 +94 @@
 {
         bcm2835_timer_irq_ack(raspi.timer);
-        irq_spinlock_unlock(&irq->lock, false);
+        spinlock_unlock(&irq->lock);
         clock();
-        irq_spinlock_lock(&irq->lock, false);
+        spinlock_lock(&irq->lock);
 }
 
@@ -159 +159 @@
                 /* The IRQ handler was found. */
                 irq->handler(irq);
-                irq_spinlock_unlock(&irq->lock, false);
+                spinlock_unlock(&irq->lock);
         } else {
                 /* Spurious interrupt. */
@@ -174 +174 @@
 {
 #ifdef CONFIG_FB
-        uint32_t width, height;
         fb_properties_t prop;
-
-        if (!bcm2835_mbox_get_fb_size(&width, &height)) {
-                printf("mbox: could not get the framebuffer size\n");
-                width = 640;
-                height = 480;
-        }
-        if (bcm2835_fb_init(&prop, width, height)) {
+        if (bcm2835_fb_init(&prop)) {
                 outdev_t *fb_dev = fb_init(&prop);
                 if (fb_dev)