Changeset 82474ef in mainline for kernel/arch/arm32/src/arm32.c

Timestamp:

2010-02-03T12:45:26Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

210e50a

Parents:

c1d3549

Message:

improve the GCC contract of halt(), make it explicitly noreturn

File:

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

kernel/arch/arm32/src/arm32.c

@@ -155 +155 @@
 void cpu_halt(void)
 {
-        machine_cpu_halt();
+        while (true)
+                machine_cpu_halt();
 }
 
@@ -162 +163 @@
 {
         /* not implemented */
-        while (1);
+        while (true);
 }