Line data    Source code

       1           1 : /**
       2             :  * @file arch/timer.c
       3             :  *
       4             :  * @brief Timers
       5             :  *
       6             :  * This module defines the timers which the simulator uses to monitor its
       7             :  * internal behaviour
       8             :  *
       9             :  * SPDX-FileCopyrightText: 2008-2021 HPDCS Group <rootsim@googlegroups.com>
      10             :  * SPDX-License-Identifier: GPL-3.0-only
      11             :  */
      12             : #include <arch/timer.h>
      13             : 
      14             : #ifdef __WINDOWS
      15             : timer_uint timer_perf_freq = 0;
      16             : #endif
      17             : 
      18             : /**
      19             :  * @brief Gets a new starting point for an time interval measure
      20             :  * @returns a timer_uint value, a not meaningful value by itself
      21             :  *
      22             :  * The returned value can be used in the timer_value() macro to obtain a time
      23             :  * interval with microsecond resolution
      24             :  */
      25           1 : extern timer_uint timer_new(void);
      26             : 
      27             : /**
      28             :  * @brief Computes a time interval measure using a previous timer_uint value
      29             :  * @param start a timer_uint value obtained from a previous timer_new() call
      30             :  * @return a timer_uint value, the count of microseconds of the time interval
      31             :  */
      32           1 : extern timer_uint timer_value(timer_uint start);