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

File:

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

kernel/arch/arm32/src/arm32.c

@@ -48 +48 @@
 #include <macros.h>
 #include <string.h>
-#include <arch/ras.h>
 
 #ifdef MACHINE_testarm
@@ -89 +88 @@
         exception_init();
         interrupt_init();
-
-        /* Initialize Restartable Atomic Sequences support. */
-        ras_init();
         
         machine_output_init();
@@ -140 +136 @@
         uint8_t *stck;
         
+        tlb_invalidate_all();
         stck = &THREAD->kstack[THREAD_STACK_SIZE - SP_DELTA];
         supervisor_sp = (uintptr_t) stck;
@@ -155 +152 @@
 void cpu_halt(void)
 {
-        while (true)
-                machine_cpu_halt();
+        machine_cpu_halt();
 }
 
@@ -163 +159 @@
 {
         /* not implemented */
-        while (true);
+        while (1);
 }
 
@@ -180 +176 @@
 }
 
-void irq_initialize_arch(irq_t *irq)
-{
-        (void) irq;
-}
-
 /** @}
  */