3 #include <sys/sysctl.h>
5 long long cpucycles_x86tscfreq(void)
8 asm volatile(".byte 15;.byte 49" : "=A" (result
));
12 long long cpucycles_x86tscfreq_persecond(void)
15 size_t resultlen
= sizeof(long);
16 sysctlbyname("machdep.tsc_freq",&result
,&resultlen
,0,0);