minix/lib/libc/gen/read_tsc_64.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15


#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);
}