Date:	Tue, 13 Jul 93 09:49:21 EDT
From:	DJ Delorie <dj AT ctron DOT com>
To:	gke AT moosehead DOT aero DOT org
Cc:	djgpp AT sun DOT soe DOT clarkson DOT edu
Subject:	Re: PC timer

Try using clock() for now - it uses the tic count.  In 1.11,
there will be a rawclock() that will read the tics directly.

Of course, you can always use dosmemget() to read the tic count stored
by the BIOS.

- Raw text -