Searched refs:vtsc_usercount (Results 1 – 3 of 3) sorted by relevance
383 uint64_t vtsc_usercount; member
2038 d->arch.vtsc_usercount++; in pv_soft_rdtsc()2247 if ( d->arch.vtsc_kerncount | d->arch.vtsc_usercount ) in dump_softtsc()2249 d->arch.vtsc_kerncount, d->arch.vtsc_usercount); in dump_softtsc()
3385 currd->arch.vtsc_usercount++; in _hvm_rdtsc_intercept()
Completed in 15 milliseconds