minix/lib/sysutil/read_tsc_64.c
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

16 lines
257 B
C

#include "sysutil.h"
#include <minix/u64.h>
#include <minix/syslib.h>
/* Utility function to work directly with u64_t
* By Antonio Mancina
*/
PUBLIC void read_tsc_64(t)
u64_t* t;
{
u32_t lo, hi;
read_tsc (&hi, &lo);
*t = make64 (lo, hi);
}