Searched refs:vcpu_time_info (Results 1 – 1 of 1) sorted by relevance
47 static volatile struct pvclock_vcpu_time_info *vcpu_time_info; variable78 vcpu_time_info = (struct pvclock_vcpu_time_info *)(wall_clock + 1); in pvclock_init()84 vcpu_time_info->version, vcpu_time_info->tsc_timestamp, vcpu_time_info->system_time); in pvclock_init()86 vcpu_time_info->tsc_to_system_mul, vcpu_time_info->tsc_shift, vcpu_time_info->flags); in pvclock_init()92 if (!vcpu_time_info) { in pvclock_get_tsc_freq()100 pre_version = vcpu_time_info->version; in pvclock_get_tsc_freq()105 tsc_mul = vcpu_time_info->tsc_to_system_mul; in pvclock_get_tsc_freq()106 tsc_shift = vcpu_time_info->tsc_shift; in pvclock_get_tsc_freq()107 post_version = vcpu_time_info->version; in pvclock_get_tsc_freq()121 if (!vcpu_time_info) { in pv_clock_is_stable()[all …]
Completed in 2 milliseconds