Changes in kernel/arch/arm32/src/fpu_context.c [bafd198:a640bc1] in mainline

File:

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

kernel/arch/arm32/src/fpu_context.c

@@ -119 +119 @@
  * rely on user decision to use CONFIG_FPU.
  */
-#ifdef PROCESSOR_ARC_armv7_a
+#ifdef PROCESSOR_armv7_a
         const uint32_t cpacr = CPACR_read();
         /* FPU needs access to coprocessor 10 and 11.
@@ -148 +148 @@
  * rely on user decision to use CONFIG_FPU.
  */
-#ifdef PROCESSOR_ARCH_armv7_a
+#ifndef PROCESSOR_armv7_a
+        return;
+#endif
+
         /* Allow coprocessor access */
         uint32_t cpacr = CPACR_read();
@@ -156 +159 @@
         cpacr |= (CPACR_CP_FULL_ACCESS(10) | CPACR_CP_FULL_ACCESS(11));
         CPACR_write(cpacr);
-#endif
+
+        smc_coherence(0);
 }