Home
last modified time | relevance | path

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

/arch/x86/kernel/
Dkvmclock.c41 static DEFINE_PER_CPU_SHARED_ALIGNED(struct pvclock_vcpu_time_info, hv_clock);
60 vcpu_time = &get_cpu_var(hv_clock); in kvm_get_wallclock()
62 put_cpu_var(hv_clock); in kvm_get_wallclock()
78 src = &__get_cpu_var(hv_clock); in kvm_clock_read()
101 src = &per_cpu(hv_clock, 0); in kvm_get_tsc_khz()
130 low = (int)__pa(&per_cpu(hv_clock, cpu)) | 1; in kvm_register_clock()
131 high = ((u64)__pa(&per_cpu(hv_clock, cpu)) >> 32); in kvm_register_clock()
/arch/x86/kvm/
Dx86.c1098 vcpu->arch.hv_clock.tsc_timestamp = 0; in kvm_write_tsc()
1176 if (vcpu->hv_clock.tsc_timestamp) { in kvm_guest_time_update()
1178 vcpu->hv_clock.tsc_timestamp; in kvm_guest_time_update()
1180 vcpu->hv_clock.tsc_to_system_mul, in kvm_guest_time_update()
1181 vcpu->hv_clock.tsc_shift); in kvm_guest_time_update()
1187 &vcpu->hv_clock.tsc_shift, in kvm_guest_time_update()
1188 &vcpu->hv_clock.tsc_to_system_mul); in kvm_guest_time_update()
1196 vcpu->hv_clock.tsc_timestamp = tsc_timestamp; in kvm_guest_time_update()
1197 vcpu->hv_clock.system_time = kernel_ns + v->kvm->arch.kvmclock_offset; in kvm_guest_time_update()
1200 vcpu->hv_clock.flags = 0; in kvm_guest_time_update()
[all …]
/arch/x86/include/asm/
Dkvm_host.h408 struct pvclock_vcpu_time_info hv_clock; member