Index: kernel/arch/arm32/include/exception.h
===================================================================
--- kernel/arch/arm32/include/exception.h	(revision 4b78d57a683a3dcdf89c8f6e0fe33ced1db6b0d9)
+++ kernel/arch/arm32/include/exception.h	(revision 3f93cdbe3a5df29d2432f1019f5de8b577780b68)
@@ -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;
 }