6d50591226
. 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>
16 lines
257 B
C
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);
|
|
}
|
|
|