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
..
2005-08-22 15:23:47 +00:00
2005-04-21 14:53:53 +00:00
2006-07-14 12:40:32 +00:00
2005-04-21 14:53:53 +00:00
2005-04-21 14:53:53 +00:00
2005-04-21 14:53:53 +00:00
2005-04-21 14:53:53 +00:00
2007-01-22 15:25:41 +00:00
2005-11-08 13:59:27 +00:00
2007-01-22 15:25:41 +00:00
2006-06-30 14:40:29 +00:00
2005-08-22 15:23:47 +00:00
2005-04-21 14:53:53 +00:00
2005-04-21 14:53:53 +00:00
2007-01-05 16:36:55 +00:00