target/profiling: Use the correct method to access registers
[fw/openocd] / src / helper / time_support.h
index a2d180a5aac65ad56919d59810da37fc05b3f9ca..ab839826bcedc37e6699d4d4aaad1492667bce33 100644 (file)
@@ -21,8 +21,9 @@
  *   You should have received a copy of the GNU General Public License     *
  *   along with this program; if not, write to the                         *
  *   Free Software Foundation, Inc.,                                       *
- *   59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.             *
+ *   51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.           *
  ***************************************************************************/
+
 #ifndef TIME_SUPPORT_H
 #define TIME_SUPPORT_H
 
 #endif
 
 int timeval_subtract(struct timeval *result, struct timeval *x, struct timeval *y);
-int timeval_add(struct timeval *result, struct timeval *x, struct timeval *y);
 int timeval_add_time(struct timeval *result, long sec, long usec);
 
-/// @returns gettimeofday() timeval as 64-bit in ms
+/** @returns gettimeofday() timeval as 64-bit in ms */
 int64_t timeval_ms(void);
 
-struct duration
-{
+struct duration {
        struct timeval start;
        struct timeval elapsed;
 };
 
-/// Update the duration->start field to start the @a duration measurement.
+/** Update the duration->start field to start the @a duration measurement. */
 int duration_start(struct duration *duration);
-/// Update the duration->elapsed field to finish the @a duration measurment.
+/** Update the duration->elapsed field to finish the @a duration measurment. */
 int duration_measure(struct duration *duration);
 
-/// @returns Elapsed time in seconds.
+/** @returns Elapsed time in seconds. */
 float duration_elapsed(struct duration *duration);
-/// @returns KB/sec for the elapsed @a duration and @a count bytes.
+/** @returns KB/sec for the elapsed @a duration and @a count bytes. */
 float duration_kbps(struct duration *duration, size_t count);
 
-#endif /* TIME_SUPPORT_H */
+#endif /* TIME_SUPPORT_H */