-lnat total_ticks = 0;
-
-nat current_interval = 1; /* Current interval number --
- stored in AGE */
-
-nat interval_ticks = DEFAULT_INTERVAL; /* No of ticks in an interval */
-
-nat previous_ticks = 0; /* ticks in previous intervals */
-nat current_ticks = 0; /* ticks in current interval */
-
-void
-initProfTimer(nat ms)
-{
- if (initialize_virtual_timer(ms)) {
- fflush(stdout);
- fprintf(stderr, "Can't initialize virtual timer.\n");
- stg_exit(EXIT_FAILURE);
- }
-};