Index: arch/ia32/include/interrupt.h
===================================================================
--- arch/ia32/include/interrupt.h	(revision 2cb5e6478ff8e1d5cf947da6398d6e2d496c27e4)
+++ arch/ia32/include/interrupt.h	(revision bffa0b06adea1b03489a7f0c461606f20a0da9b2)
@@ -84,7 +84,18 @@
 };
 
+/** Return true if exception happened while in userspace */
+static inline int istate_from_uspace(istate_t *istate)
+{
+	return !(istate->eip & 0x80000000);
+}
+
 static inline void istate_set_retaddr(istate_t *istate, __address retaddr)
 {
 	istate->eip = retaddr;
+}
+
+static inline __native istate_get_pc(istate_t *istate)
+{
+	return istate->eip;
 }