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
..
2006-06-22 11:45:59 +00:00
2006-07-13 13:19:48 +00:00
2006-12-08 16:23:18 +00:00
2005-04-21 14:53:53 +00:00
2005-04-21 14:53:53 +00:00
2005-09-14 01:59:36 +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
2006-04-03 15:06:31 +00:00
2005-08-25 11:33:43 +00:00
2005-04-21 14:53:53 +00:00
2005-11-04 17:14:59 +00:00
2005-04-21 14:53:53 +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
2006-12-08 16:23:18 +00:00
2005-04-21 14:53:53 +00:00
2005-04-21 14:53:53 +00:00
2006-06-22 11:47:18 +00:00
2006-03-24 14:03:25 +00:00
2006-04-03 15:06:31 +00:00
2005-10-31 14:07:07 +00:00
2005-04-21 14:53:53 +00:00
2005-04-21 14:53:53 +00:00
2005-09-16 14:23:14 +00:00
2005-09-14 00:49:08 +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
2005-08-22 15:23:47 +00:00