safe tinyos annotations

[tinyos-2.x.git] / tos / lib / net / drip / DisseminationCache.nc

diff --git a/tos/lib/net/drip/DisseminationCache.nc b/tos/lib/net/drip/DisseminationCache.nc
index 290c7d1d01ab30b01d48fcde1128e67306a438f8..05c962f38fe47279ce54e3f7dcf1dafc0b0a3e47 100644 (file)
--- a/tos/lib/net/drip/DisseminationCache.nc
+++ b/tos/lib/net/drip/DisseminationCache.nc
@@ -45,7 +45,7 @@ interface DisseminationCache {
   event error_t start();
   event error_t stop();
   command void* requestData( uint8_t* size );
-  command void storeData( void* data, uint8_t size, uint32_t seqno );
+  command void storeData( void* COUNT(size) data, uint8_t size, uint32_t seqno );
   command uint32_t requestSeqno();
   event void newData();
 }