Searched refs:virtual_tsc_khz (Results 1 – 3 of 3) sorted by relevance
432 u32 virtual_tsc_khz; member
997 vcpu->arch.virtual_tsc_khz = this_tsc_khz; in kvm_set_tsc_khz()1038 usdiff = (usdiff * 1000) / vcpu->arch.virtual_tsc_khz; in kvm_write_tsc()1043 : "A"(usdiff * 1000), "rm"(vcpu->arch.virtual_tsc_khz)); in kvm_write_tsc()1061 vcpu->arch.virtual_tsc_khz == kvm->arch.last_tsc_khz) { in kvm_write_tsc()1095 kvm->arch.last_tsc_khz = vcpu->arch.virtual_tsc_khz; in kvm_write_tsc()2864 r = vcpu->arch.virtual_tsc_khz; in kvm_arch_vcpu_ioctl()
734 unsigned long this_tsc_khz = vcpu->arch.virtual_tsc_khz; in start_apic_timer()