Changeset 3bacee1 in mainline for kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c

Timestamp:

2018-04-12T16:27:17Z (7 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

3cf22f9

Parents:

76d0981d

git-author:

Jiri Svoboda <jiri@…> (2018-04-11 19:25:33)

git-committer:

Jiri Svoboda <jiri@…> (2018-04-12 16:27:17)

Message:

Make ccheck-fix again and commit more good files.

File:

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

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

@@ -103 +103 @@
         /* Initialize interrupt controller */
         raspi.irc = (void *) km_map(BCM2835_IRC_ADDR, sizeof(bcm2835_irc_t),
-                                    PAGE_NOT_CACHEABLE);
+            PAGE_NOT_CACHEABLE);
         assert(raspi.irc);
         bcm2835_irc_init(raspi.irc);
@@ -109 +109 @@
         /* Initialize system timer */
         raspi.timer = (void *) km_map(BCM2835_TIMER_ADDR,
-                                      sizeof(bcm2835_timer_t),
-                                      PAGE_NOT_CACHEABLE);
+            sizeof(bcm2835_timer_t),
+            PAGE_NOT_CACHEABLE);
 }
 
@@ -129 +129 @@
 static void raspberrypi_cpu_halt(void)
 {
-        while (true) ;
+        while (true)
+                ;
 }
 
@@ -184 +185 @@
 #ifdef CONFIG_PL011_UART
         if (pl011_uart_init(&raspi.uart, BCM2835_UART_IRQ,
-                            BCM2835_UART0_BASE_ADDRESS))
+            BCM2835_UART0_BASE_ADDRESS))
                 stdout_wire(&raspi.uart.outdev);
 #endif