__vmgettime
unsigned long long __vmgettime(void);
*timer_val = __vmgettime();
unsigned long long start = __vmgettime();
while ((__vmgettime() - start) < cycles)
unsigned long long start = __vmgettime();
while ((__vmgettime() - start) < finish)
return (u64) __vmgettime();