Index: kernel/arch/ia32/include/interrupt.h
===================================================================
--- kernel/arch/ia32/include/interrupt.h	(revision 1f7cb3a9d87b214dbf470650b8d49d9df325db0d)
+++ kernel/arch/ia32/include/interrupt.h	(revision 070e05aa939a4cbaed698ba35f5d2f7a7efee35c)
@@ -69,8 +69,9 @@
 #define VECTOR_DEBUG_IPI		(IVT_FREEBASE + 2)
 
-typedef struct {
+typedef struct istate {
 	uint32_t eax;
 	uint32_t ecx;
 	uint32_t edx;
+	uint32_t ebp;
 
 	uint32_t gs;
@@ -102,4 +103,9 @@
 }
 
+static inline unative_t istate_get_fp(istate_t *istate)
+{
+	return istate->ebp;
+}
+
 extern void (* disable_irqs_function)(uint16_t irqmask);
 extern void (* enable_irqs_function)(uint16_t irqmask);