Index: kernel/arch/ia64/include/interrupt.h
===================================================================
--- kernel/arch/ia64/include/interrupt.h	(revision 5bda2f3ec5d347e6cd33782ee9f7583f6d3aeda4)
+++ kernel/arch/ia64/include/interrupt.h	(revision 3b3e776c798388c535fed921aeb73f37a0268abd)
@@ -72,5 +72,5 @@
 #define EOI  0  /**< The actual value doesn't matter. */
 
-typedef struct {
+typedef struct istate {
 	uint128_t f2;
 	uint128_t f3;
@@ -143,4 +143,9 @@
 }
 
+static inline unative_t istate_get_fp(istate_t *istate)
+{
+	return 0;	/* FIXME */
+}
+
 static inline int istate_from_uspace(istate_t *istate)
 {