/* clock -- return process time used so far, in units of CLK_TCK ticks
   per second (under TOS, 200 per second) */
/* written by ERS */

#include <time.h>
#include <sysvars.h>

clock_t _start_time;

clock_t
clock(void)
{
	return ((clock_t) get_sysvar((void *) _hz_200) - _start_time);
}