safe tinyos annotations (all in nesdoc comments)

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

diff --git a/tos/interfaces/RadioTimeStamping.nc b/tos/interfaces/RadioTimeStamping.nc
index 53b671e9acdf63d0835d1c222887d3a1c491a801..fe3536c4359de5294b639d739a5327888777b7d0 100644 (file)
--- a/tos/interfaces/RadioTimeStamping.nc
+++ b/tos/interfaces/RadioTimeStamping.nc
@@ -35,6 +35,7 @@ interface RadioTimeStamping
   /** 
    * Provides the time at which start of frame delimiter has been
    * transmitted: units are in terms of a 32kHz clock.
+   * @param 'message_t* ONE p_msg'
    */
   async event void transmittedSFD( uint16_t time, message_t* p_msg );