Searched refs:vtsc_kerncount (Results 1 – 3 of 3) sorted by relevance
382 uint64_t vtsc_kerncount; member
2036 d->arch.vtsc_kerncount++; 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()
3390 currd->arch.vtsc_kerncount++; in _hvm_rdtsc_intercept()
Completed in 16 milliseconds