xref: /minix3/minix/lib/libc/gen/read_tsc_64.c (revision bad58c9c5145c5fa2a65ce5ca37ceebbbd315e2d) 
1*bad58c9cSBen Gras 
2*bad58c9cSBen Gras #include <minix/u64.h>
3*bad58c9cSBen Gras #include <minix/minlib.h>
4*bad58c9cSBen Gras 
5*bad58c9cSBen Gras /* Utility function to work directly with u64_t
6*bad58c9cSBen Gras  * By Antonio Mancina
7*bad58c9cSBen Gras  */
read_tsc_64(t)8*bad58c9cSBen Gras void read_tsc_64(t)
9*bad58c9cSBen Gras u64_t* t;
10*bad58c9cSBen Gras {
11*bad58c9cSBen Gras     u32_t lo, hi;
12*bad58c9cSBen Gras     read_tsc (&hi, &lo);
13*bad58c9cSBen Gras     *t = make64 (lo, hi);
14*bad58c9cSBen Gras }
15*bad58c9cSBen Gras 
16