safe tinyos annotations (all in nesdoc comments)

[tinyos-2.x.git] / tos / interfaces / Crc.nc

diff --git a/tos/interfaces/Crc.nc b/tos/interfaces/Crc.nc
index 39cd3352bc0dc03a005607055d6a4d28c998efef..e60b2e2145ff970a0968ee804319f6c2063b8409 100644 (file)
--- a/tos/interfaces/Crc.nc
+++ b/tos/interfaces/Crc.nc
@@ -35,7 +35,7 @@ interface Crc {
   /**
    * Compute the CRC-16 value of a byte array.
    *
-   * @param   buf A pointer to the buffer over which to compute CRC.
+   * @param   'void* COUNT(len) buf' A pointer to the buffer over which to compute CRC.
    * @param   len The length of the buffer over which to compute CRC.
    * @return  The CRC-16 value.
    */
@@ -46,7 +46,7 @@ interface Crc {
    * of discontinuous data.
    * 
    * @param startCrc An initial CRC value to begin with
-   * @param buf A pointer to a buffer of data
+   * @param 'void* COUNT(len) buf' A pointer to a buffer of data
    * @param len The length of the buffer
    * @return The CRC-16 value.
    */