From ac4acac9a77290b4a8330792fea0b9f2e2d64339 Mon Sep 17 00:00:00 2001
From: regehr <regehr>
Date: Wed, 4 Jun 2008 03:57:41 +0000
Subject: [PATCH] safe tinyos annotations

---
 tos/lib/net/lqi/LqiForwardingEngineP.nc | 2 +-
 tos/lib/net/lqi/RouteSelect.nc          | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tos/lib/net/lqi/LqiForwardingEngineP.nc b/tos/lib/net/lqi/LqiForwardingEngineP.nc
index 4e2f4405..af5e3aab 100644
--- 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 db69a35e..67e4a095 100644
--- 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);
 
 
   /**
-- 
2.39.2