Searched refs:user_tsc_khz (Results 1 - 1 of 1) sorted by relevance

/linux-4.4.14/arch/x86/kvm/
H A Dx86.c1256 static int set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale) set_tsc_khz() argument
1268 if (user_tsc_khz > tsc_khz) { set_tsc_khz()
1280 user_tsc_khz, tsc_khz); set_tsc_khz()
1284 user_tsc_khz); set_tsc_khz()
3439 u32 user_tsc_khz; kvm_arch_vcpu_ioctl() local
3442 user_tsc_khz = (u32)arg; kvm_arch_vcpu_ioctl()
3444 if (user_tsc_khz >= kvm_max_guest_tsc_khz) kvm_arch_vcpu_ioctl()
3447 if (user_tsc_khz == 0) kvm_arch_vcpu_ioctl()
3448 user_tsc_khz = tsc_khz; kvm_arch_vcpu_ioctl()
3450 if (!kvm_set_tsc_khz(vcpu, user_tsc_khz)) kvm_arch_vcpu_ioctl()

Completed in 96 milliseconds