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