Changes in kernel/arch/arm32/src/arm32.c [82474ef:3063d56] in mainline

File:

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

kernel/arch/arm32/src/arm32.c

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