turn on safe compilation for some modules

[tinyos-2.x.git] / tos / chips / at45db / ConfigStorageP.nc

diff --git a/tos/chips/at45db/ConfigStorageP.nc b/tos/chips/at45db/ConfigStorageP.nc
index 52cdfa685af1f5f42a1d5e7a2c2bdfd486fa3324..67bd6a8fb2f830065b18b0cf77a4112c52d2adb4 100644 (file)
--- a/tos/chips/at45db/ConfigStorageP.nc
+++ b/tos/chips/at45db/ConfigStorageP.nc
@@ -1,6 +1,6 @@
 // $Id$
 
-/*                                                                     tab:4
+/*
  * Copyright (c) 2002-2006 Intel Corporation
  * All rights reserved.
  *
@@ -20,7 +20,7 @@
 #include "Storage.h"
 #include "crc.h"
 
-module ConfigStorageP {
+module ConfigStorageP @safe() {
   provides {
     interface Mount[uint8_t id];
     interface ConfigStorage[uint8_t id];
@@ -190,7 +190,7 @@ implementation
     return call BlockRead.read[id](addr + sizeof low[0], buf, len);
   }
 
-  void readReadDone(uint8_t id, storage_addr_t addr, void* buf, storage_len_t len, error_t error) {
+  void readReadDone(uint8_t id, storage_addr_t addr, void* COUNT(len) buf, storage_len_t len, error_t error) {
     signal ConfigStorage.readDone[id](addr - sizeof low[0], buf, len, error);
   }
 
@@ -257,7 +257,7 @@ implementation
     signal BConfig.writeContinue[id](error);
   }
 
-  void writeWriteDone(uint8_t id, storage_addr_t addr, void* buf, storage_len_t len, error_t error) {
+  void writeWriteDone(uint8_t id, storage_addr_t addr, void* COUNT(len) buf, storage_len_t len, error_t error) {
     flip(id); // flip back to current half
     signal ConfigStorage.writeDone[id](addr - sizeof low[0], buf, len, error);
   }