Index: kernel/arch/arm32/src/fpu_context.c
===================================================================
--- kernel/arch/arm32/src/fpu_context.c	(revision 97718a5af86f398f0bbddefd0c684d69173a9bbf)
+++ kernel/arch/arm32/src/fpu_context.c	(revision b9f72b977e060712cf7645e04ee94db0127dd34e)
@@ -56,8 +56,13 @@
 };
 
+extern uint32_t fpsid_read(void);
+extern uint32_t mvfr0_read(void);
+
 enum {
 	FPEXC_EX_FLAG = (1 << 31),
 	FPEXC_ENABLED_FLAG = (1 << 30),
 };
+extern uint32_t fpexc_read(void);
+extern void fpexc_write(uint32_t);
 
 /** ARM Architecture Reference Manual ch. B4.1.58, p. B$-1551 */
@@ -95,11 +100,6 @@
 	FPSCR_EN_ALL = FPSCR_DENORMAL_EN_FLAG | FPSCR_INEXACT_EN_FLAG | FPSCR_UNDERFLOW_EN_FLAG | FPSCR_OVERFLOW_EN_FLAG | FPSCR_ZERO_DIV_EN_FLAG | FPSCR_INVALID_OP_EN_FLAG,
 };
-
-extern uint32_t fpsid_read(void);
-extern uint32_t mvfr0_read(void);
 extern uint32_t fpscr_read(void);
 extern void fpscr_write(uint32_t);
-extern uint32_t fpexc_read(void);
-extern void fpexc_write(uint32_t);
 
 extern void fpu_context_save_s32(fpu_context_t *);