Searched refs:tscval (Results 1 - 2 of 2) sorted by relevance

/freebsd-10-stable/sys/dev/atkbdc/
H A Datkbdc.c254 u_int64_t tscval[3], read_delay; local
288 tscval[0] = rdtsc();
290 tscval[1] = rdtsc();
292 tscval[2] = rdtsc();
294 read_delay = tscval[1] - tscval[0];
295 read_delay /= (tscval[2] - tscval[1]) / 1000;
/freebsd-10-stable/sys/amd64/vmm/
H A Dvmm.c1601 uint64_t tscval; local
1629 tscval = rdtsc();
1642 vmm_stat_incr(vm, vcpuid, VCPU_TOTAL_RUNTIME, rdtsc() - tscval);

Completed in 108 milliseconds