Searched refs:tscval (Results 1 – 2 of 2) sorted by relevance
267 u_int64_t tscval[3], read_delay; in atkbdc_setup() local302 tscval[0] = rdtsc(); in atkbdc_setup()304 tscval[1] = rdtsc(); in atkbdc_setup()306 tscval[2] = rdtsc(); in atkbdc_setup()308 read_delay = tscval[1] - tscval[0]; in atkbdc_setup()309 read_delay /= (tscval[2] - tscval[1]) / 1000; in atkbdc_setup()
1545 uint64_t tscval; in vm_run() local1569 tscval = rdtsc(); in vm_run()1582 vmm_stat_incr(vcpu, VCPU_TOTAL_RUNTIME, rdtsc() - tscval); in vm_run()