__vmgettime - Linux

78

unsigned long long __vmgettime(void);

19

*timer_val = __vmgettime();

212

unsigned long long start = __vmgettime();

214

while ((__vmgettime() - start) < cycles)

227

unsigned long long start = __vmgettime();

230

while ((__vmgettime() - start) < finish)

74

return (u64) __vmgettime();