Remove hwmul-disable; it works in newer GCC

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

diff --git a/tos/interfaces/BlockRead.nc b/tos/interfaces/BlockRead.nc
index eebaa280c6fb80a5b0ed7b18d048122ba676520d..4f72c9981e1d1f904192c1ffbe407e5909231210 100644 (file)
--- a/tos/interfaces/BlockRead.nc
+++ b/tos/interfaces/BlockRead.nc
@@ -46,7 +46,7 @@ interface BlockRead {
    * operation.
    * 
    * @param addr starting address to begin reading.
-   * @param buf buffer to place read data.
+   * @param 'void* COUNT(len) buf' buffer to place read data.
    * @param len number of bytes to read.
    * @return 
    *   <li>SUCCESS if the request was accepted, 
@@ -59,7 +59,7 @@ interface BlockRead {
    * Signals the completion of a read operation.
    *
    * @param addr starting address of read.
-   * @param buf buffer where read data was placed.
+   * @param 'void* COUNT(len) buf' buffer where read data was placed.
    * @param len number of bytes read.
    * @param error SUCCESS if the operation was successful, FAIL if
    *   it failed
@@ -67,27 +67,6 @@ interface BlockRead {
   event void readDone(storage_addr_t addr, void* buf, storage_len_t len, 
                      error_t error);
   
-  /**
-   * Initiate a verify operation to verify the integrity of the
-   * data. This operation is only valid after a commit operation from
-   * <code>BlockWrite</code> has been completed. On SUCCESS, the
-   * <code>verifyDone</code> event will signal completion of the
-   * operation.
-   *
-   * @return 
-   *   <li>SUCCESS if the request was accepted, 
-   *   <li>EBUSY if a request is already being processed.
-   */
-  command error_t verify();
-  
-  /**
-   * Signals the completion of a verify operation.
-   *
-   * @param error SUCCESS if the operation was successful, FAIL if
-   *   it failed
-   */
-  event void verifyDone(error_t error);
-  
   /**
    * Initiate a crc computation. On SUCCESS, the
    * <code>computeCrcDone</code> event will signal completion of the