clock.c

Go to the documentation of this file.

#include "standard.h"

/*
 * 1 ms clock
 */


static int clock_time = 0;


int get_clock(void)
{
  return (clock_time);
}


void increment_clock(void)
{
  clock_time++;
}


char *print_time(void)
{
  static char s[12];
  
  sprintf(s, 
          "%02d:%02d:%02d.%03d", 
          (clock_time / 3600000),
          (clock_time / 60000) % 60, 
          (clock_time / 1000) % 60,
          clock_time % 1000);
  return (s);
}

---