Changeset 1433ecda in mainline for kernel/arch/mips32/src/mips32.c

Timestamp:

2018-04-04T15:42:37Z (7 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

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

Children:

2c4e1cc

Parents:

47b2d7e3

Message:

Fix cstyle: make ccheck-fix and commit only files where all the changes are good.

File:

• kernel/arch/mips32/src/mips32.c (modified) (3 diffs)

kernel/arch/mips32/src/mips32.c

@@ -74 +74 @@
 
 /* Stack pointer saved when entering user mode */
-uintptr_t supervisor_sp __attribute__ ((section (".text")));
+uintptr_t supervisor_sp __attribute__((section(".text")));
 
 size_t cpu_count = 0;
@@ -172 +172 @@
             (uintptr_t) kernel_uarg->uspace_entry);
 
-        while (1);
+        while (1)
+                ;
 }
 
@@ -194 +195 @@
 {
         ___halt();
-        while (1);
+        while (1)
+                ;
 }