add unused annotation to be used for deputy bound temporaries

diff --git a/tos/lib/safe/include/annots_stage1.h b/tos/lib/safe/include/annots_stage1.h
index f375fb9e632cf43efd53eaf4b572a3edbec96324..bdfa61ccb6a1bd0b86950bb0c119a4bef997e309 100644 (file)
--- a/tos/lib/safe/include/annots_stage1.h
+++ b/tos/lib/safe/include/annots_stage1.h
@@ -2,6 +2,8 @@
 #define ANNOTS_STAGE1_INCLUDED
 #include <stddef.h>
 
+#define __DEPUTY_UNUSED__                      __attribute__((unused))
+
 // define away two obsolete annotations
 #define BOUND(x,y)
 #define SINGLE