Index: kernel/arch/arm32/include/exception.h
===================================================================
--- kernel/arch/arm32/include/exception.h	(revision 3063d56f9039cd500c06507c8f1d7cffea49ed3d)
+++ kernel/arch/arm32/include/exception.h	(revision 4afd4ab1cf55802dd65cdbbe092a477f1110b2ff)
@@ -86,5 +86,5 @@
 
 /** Struct representing CPU state saved when an exception occurs. */
-typedef struct {
+typedef struct istate {
 	uint32_t spsr;
 	uint32_t sp;
@@ -133,4 +133,9 @@
 }
 
+static inline unative_t istate_get_fp(istate_t *istate)
+{
+	return istate->r11;
+}
+
 
 extern void install_exception_handlers(void);