Ben Gras 6d50591226 . let kernel use read_tsc() from sysutil library ...

. read_tsc() in sysutil library saves edx and eax now
 . added read_tsc_64() by Antonio Mancina to load tsc into
   a 64-bit data type directly
 . deleted read_tsc.h in favour of a prototype in <minix/syslib.h>

2007-03-08 15:39:14 +00:00

..

i386

. let kernel use read_tsc() from sysutil library

2007-03-08 15:39:14 +00:00