TIMER_FREE

  .  Summary

  timer_free(int <thandle>);

  .  Description

  The timer functions are used to set and keep track of a timer vari-
  able.

  The timer_free function frees a timer variable when it is no longer
  needed. <thandle> is the timer handle of the timer to free, and
  should originally have been returned by the timer_start function.
  After a timer has been freed it should no longer be referred to.

  .  Return Value

  timer_free does not return any significant value.

  .  Example

  int t;

  t = timer_start(100);    // delay for 10 seconds
  while (!time_up(t))
   ;
  timer_free(t);

  // start a timer and loop forever, printing the elapsed time
  // in tenths of seconds
  t = timer_start(0);
  while (1)
   {
    printn(timer_total(t));
    prints("");
   }