Changes in kernel/arch/arm32/src/cpu/cpu.c [34847e2:9048147] in mainline

File:

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

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

@@ -41 +41 @@
 #include <print.h>
 
+#ifdef CONFIG_FPU
+#include <arch/fpu_context.h>
+#endif
+
 static inline unsigned log2(unsigned val)
 {
@@ -60 +64 @@
 static const char * implementer(unsigned id)
 {
-        switch (id)
-        {
+        switch (id) {
         case 0x41: return "ARM Limited";
         case 0x44: return "Digital Equipment Corporation";