Changes in kernel/arch/arm32/src/mach/testarm/testarm.c [9d58539:0e56575d] in mainline

File:

• kernel/arch/arm32/src/mach/testarm/testarm.c (modified) (5 diffs)

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

@@ -121 +121 @@
                 }
         }
-
+        
         /*
          * This is the necessary evil until the userspace driver is entirely
@@ -172 +172 @@
         clock();
         spinlock_lock(&irq->lock);
-
+        
         /* acknowledge tick */
         *((uint32_t *) (gxemul_rtc + GXEMUL_RTC_ACK_OFFSET))
@@ -181 +181 @@
 static void gxemul_timer_irq_init(void)
 {
-        irq_initialize(&gxemul_timer_irq);
-        gxemul_timer_irq.devno = device_assign_devno();
-        gxemul_timer_irq.inr = GXEMUL_TIMER_IRQ;
-        gxemul_timer_irq.claim = gxemul_timer_claim;
-        gxemul_timer_irq.handler = gxemul_timer_irq_handler;
-
-        irq_register(&gxemul_timer_irq);
+        irq_initialize(&gxemul_timer_irq);
+        gxemul_timer_irq.devno = device_assign_devno();
+        gxemul_timer_irq.inr = GXEMUL_TIMER_IRQ;
+        gxemul_timer_irq.claim = gxemul_timer_claim;
+        gxemul_timer_irq.handler = gxemul_timer_irq_handler;
+        
+        irq_register(&gxemul_timer_irq);
 }
 
@@ -198 +198 @@
 void gxemul_timer_irq_start(void)
 {
-        gxemul_timer_irq_init();
-        gxemul_timer_start(GXEMUL_TIMER_FREQ);
+        gxemul_timer_irq_init();
+        gxemul_timer_start(GXEMUL_TIMER_FREQ);
 }
 
@@ -227 +227 @@
         uint32_t sources = gxemul_irqc_get_sources();
         unsigned int i;
-
+        
         for (i = 0; i < GXEMUL_IRQ_COUNT; i++) {
                 if (sources & (1 << i)) {