minix/lib/nbsd_libminlib/i386/read_tsc_64.c
Gianluca Guida 878ba523ac Add libminlib for NBSD libc compilation.
This library includes various random and minix-specific functions
included in the Minix libc. Most of them should be part of libsys,
and in general it would be nice to extinguish this library over
time.
2011-03-22 13:47:35 +00:00

15 lines
229 B
C

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