Index: arch/ia64/include/interrupt.h
===================================================================
--- arch/ia64/include/interrupt.h	(revision 31e8ddd3646b281263eac10f5b0878e1700ccd12)
+++ arch/ia64/include/interrupt.h	(revision bffa0b06adea1b03489a7f0c461606f20a0da9b2)
@@ -114,4 +114,15 @@
 }
 
+static inline __native istate_get_pc(istate_t *istate)
+{
+	return istate->cr_iip;
+}
+#include <panic.h>
+static inline int istate_from_uspace(istate_t *istate)
+{
+	panic("TODO: istate_from_uspace not yet implemented");
+	return 0;
+}
+
 extern void *ivt;