Searched defs:user_tsc_khz (Results 1 – 2 of 2) sorted by relevance
2435 static int set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz, bool scale) in set_tsc_khz()2471 static int kvm_set_tsc_khz(struct kvm_vcpu *vcpu, u32 user_tsc_khz) in kvm_set_tsc_khz()5935 u32 user_tsc_khz; in kvm_arch_vcpu_ioctl() local7031 u32 user_tsc_khz; in kvm_arch_vm_ioctl() local
2003 int64_t user_tsc_khz; /* for sanity check only */ member