add TRUSTEDBLOCK annotations

diff --git a/tos/lib/safe/include/deputy_annots.h b/tos/lib/safe/include/deputy_annots.h
index 2b20b90854eef748610a8f42fd42527e2a2e7827..6e276912899394f22c91ef5971e3cd1e9d8f0a9f 100644 (file)
--- a/tos/lib/safe/include/deputy_annots.h
+++ b/tos/lib/safe/include/deputy_annots.h
@@ -8,3 +8,4 @@
 #define __DEPUTY_NONNULL                       __attribute__((nonnull))
 #define __DEPUTY_TRUSTED                       __attribute__((trusted))
 #define __DEPUTY_COPYTYPE                      __attribute__((copytype))
+#define __DEPUTY_TRUSTEDBLOCK                  __blockattribute__((trusted))

diff --git a/tos/lib/safe/include/deputy_no_annots.h b/tos/lib/safe/include/deputy_no_annots.h
index ecb3c71875288e044b696a4192c2c17d8ad8fee5..0a6fb97597be5a048cd16c904a6b6515c4813891 100644 (file)
--- a/tos/lib/safe/include/deputy_no_annots.h
+++ b/tos/lib/safe/include/deputy_no_annots.h
@@ -3,4 +3,9 @@
 #define __DEPUTY_SINGLE(__n)                   
 #define __DEPUTY_TRUSTED_CAST(__type,__expr)   
 
-#define TC(__type,__expr)                      __DEPUTY_TRUSTED_CAST(__type,__expr)
+#define TC(__type,__expr)                      
+
+#define __DEPUTY_NONNULL                       
+#define __DEPUTY_TRUSTED                       
+#define __DEPUTY_COPYTYPE                      
+#define __DEPUTY_TRUSTEDBLOCK