Changes in kernel/arch/arm32/src/cpu/cpu.c [9048147:34847e2] 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)
 {
@@ -64 +60 @@
 static const char * implementer(unsigned id)
 {
-        switch (id) {
+        switch (id)
+        {
         case 0x41: return "ARM Limited";
         case 0x44: return "Digital Equipment Corporation";