Index: arch/amd64/include/interrupt.h
===================================================================
--- arch/amd64/include/interrupt.h	(revision c034b164fce2965ed6484d251876ad7e153978a3)
+++ arch/amd64/include/interrupt.h	(revision 4ddeace5764cff68ff26f294be7ead55e4d70796)
@@ -87,7 +87,17 @@
 };
 
+/** Return true if exception happened while in userspace */
+static inline int istate_from_uspace(istate_t *istate)
+{
+	return !(istate->rip & 0x8000000000000000);
+}
+
 static inline void istate_set_retaddr(istate_t *istate, __address retaddr)
 {
 	istate->rip = retaddr;
+}
+static inline __native istate_get_pc(istate_t *istate)
+{
+	return istate->rip;
 }