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.