safe tinyos annotations

diff --git a/tos/lib/net/lqi/LqiForwardingEngineP.nc b/tos/lib/net/lqi/LqiForwardingEngineP.nc
index 4e2f44053421f08ea7938a4e0ee10d904f3b1c78..af5e3aab6fad5340fc94e96d47d5d868bbba09c4 100644 (file)
--- a/tos/lib/net/lqi/LqiForwardingEngineP.nc
+++ b/tos/lib/net/lqi/LqiForwardingEngineP.nc
@@ -284,7 +284,7 @@ implementation {
     }
   }
 
-  event message_t* SubReceive.receive(message_t* msg, void* payload, uint8_t len) {
+  event message_t* SubReceive.receive(message_t* ONE msg, void* COUNT_NOK(len) payload, uint8_t len) {
     collection_id_t id = call CollectionPacket.getType(msg);
     payload += sizeof(lqi_header_t);
     len -= sizeof(lqi_header_t);

diff --git a/tos/lib/net/lqi/RouteSelect.nc b/tos/lib/net/lqi/RouteSelect.nc
index db69a35e83d6ceab513e15847adaf570012f7c84..67e4a0954e36249479d0e2f66e8b223b6304f6b8 100644 (file)
--- a/tos/lib/net/lqi/RouteSelect.nc
+++ b/tos/lib/net/lqi/RouteSelect.nc
@@ -98,7 +98,7 @@ interface RouteSelect {
    *
    */
   
-  command error_t selectRoute(message_t* msg, uint8_t resend);
+  command error_t selectRoute(message_t* ONE msg, uint8_t resend);
 
 
   /**