Home
last modified time | relevance | path

Searched refs:tsc_shift (Results 1 – 1 of 1) sorted by relevance

/arch/x86/
A Dpv.c39 int8_t tsc_shift; member
86 vcpu_time_info->tsc_to_system_mul, vcpu_time_info->tsc_shift, vcpu_time_info->flags); in pvclock_init()
97 int8_t tsc_shift = 0; in pvclock_get_tsc_freq() local
106 tsc_shift = vcpu_time_info->tsc_shift; in pvclock_get_tsc_freq()
112 if (tsc_shift > 0) { in pvclock_get_tsc_freq()
113 tsc_khz >>= tsc_shift; in pvclock_get_tsc_freq()
115 tsc_khz <<= -tsc_shift; in pvclock_get_tsc_freq()

Completed in 2 milliseconds