Index: branches/fault_tolerance/lib/iss2/include/iss2.h
===================================================================
--- branches/fault_tolerance/lib/iss2/include/iss2.h	(revision 684)
+++ branches/fault_tolerance/lib/iss2/include/iss2.h	(revision 685)
@@ -179,4 +179,6 @@
         XTN_DATA_PADDR_EXT     = 24,
         XTN_INST_PADDR_EXT     = 25,
+
+        XTN_DEBUG_MASK         = 30,
     };