Searched refs:user_tsc_khz (Results 1 – 1 of 1) sorted by relevance
2418 user_tsc_khz, tsc_khz); in set_tsc_khz()2436 if (user_tsc_khz == 0) { in kvm_set_tsc_khz()2456 if (user_tsc_khz < thresh_lo || user_tsc_khz > thresh_hi) { in kvm_set_tsc_khz()6147 u32 user_tsc_khz; in kvm_arch_vcpu_ioctl() local6150 user_tsc_khz = (u32)arg; in kvm_arch_vcpu_ioctl()6156 if (user_tsc_khz == 0) in kvm_arch_vcpu_ioctl()6157 user_tsc_khz = tsc_khz; in kvm_arch_vcpu_ioctl()7281 u32 user_tsc_khz; in kvm_arch_vm_ioctl() local7284 user_tsc_khz = (u32)arg; in kvm_arch_vm_ioctl()7290 if (user_tsc_khz == 0) in kvm_arch_vm_ioctl()[all …]