Searched refs:default_tsc_khz (Results 1 – 2 of 2) sorted by relevance
1365 u32 default_tsc_khz; member
7278 WRITE_ONCE(kvm->arch.default_tsc_khz, user_tsc_khz); in kvm_arch_vm_ioctl()7284 r = READ_ONCE(kvm->arch.default_tsc_khz); in kvm_arch_vm_ioctl()12220 kvm_set_tsc_khz(vcpu, vcpu->kvm->arch.default_tsc_khz); in kvm_arch_vcpu_create()12623 kvm->arch.default_tsc_khz = max_tsc_khz ? : tsc_khz; in kvm_arch_init_vm()