Index: kernel/arch/arm32/include/exception.h
===================================================================
--- kernel/arch/arm32/include/exception.h	(revision 4b78d57a683a3dcdf89c8f6e0fe33ced1db6b0d9)
+++ kernel/arch/arm32/include/exception.h	(revision fc2e71e546816f936b7a6de413aba3885f444a5f)
@@ -102,5 +102,5 @@
 	uint32_t r9;
 	uint32_t r10;
-	uint32_t r11;
+	uint32_t fp;
 	uint32_t r12;
 
@@ -135,5 +135,5 @@
 static inline unative_t istate_get_fp(istate_t *istate)
 {
-	return istate->r11;
+	return istate->fp;
 }