Changeset 65871bb in mainline

Timestamp:

2012-11-24T21:30:24Z (11 years ago)

Author:

Jan Vesely <jano.vesely@…>

Branches:

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

Children:

957ce9a5

Parents:

36e5eb3

Message:

arm32: Don't try to initialize FPU without CONFIG_FPU

Print warning if we try to setup FPU on a machine that has none.

Location:

kernel/arch/arm32/src

Files:

• cpu/cpu.c (modified) (1 diff)
• fpu_context.c (modified) (2 diffs)

kernel/arch/arm32/src/cpu/cpu.c

@@ -134 +134 @@
         );
 #endif
+#ifdef CONFIG_FPU
         fpu_setup();
+#endif
 }
 

kernel/arch/arm32/src/fpu_context.c

@@ -152 +152 @@
                 :"=r"(fpsid)::
         );
+        if (fpsid & FPSID_SW_ONLY_FLAG) {
+                printf("No FPU avaiable\n");
+                return;
+        }
         switch (FPSID_SUBACHITECTURE(fpsid))
         {
@@ -210 +214 @@
 void fpu_context_save(fpu_context_t *ctx)
 {
-        save_context(ctx);
+        if (save_context)
+                save_context(ctx);
 }
 
 void fpu_context_restore(fpu_context_t *ctx)
 {
-        restore_context(ctx);
-}
+        if (restore_context)
+                restore_context(ctx);
+}