From: regehr <regehr>
Date: Mon, 11 Feb 2008 21:17:04 +0000 (+0000)
Subject: add TRUSTEDBLOCK annotations
X-Git-Tag: release_tinyos_2_1_0_0~556
X-Git-Url: https://oss.titaniummirror.com/gitweb/?a=commitdiff_plain;h=1156ab83f808d2d214b037c957ff4174c46e54ce;p=tinyos-2.x.git

add TRUSTEDBLOCK annotations
---

diff --git a/tos/lib/safe/include/deputy_annots.h b/tos/lib/safe/include/deputy_annots.h
index 2b20b908..6e276912 100644
--- 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 ecb3c718..0a6fb975 100644
--- 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