Searched refs:default_tsc_khz (Results 1 – 4 of 4) sorted by relevance
1236 u32 default_tsc_khz; member
4664 WRITE_ONCE(kvm->arch.default_tsc_khz, user_tsc_khz); in kvm_arch_vm_ioctl()4671 r = READ_ONCE(kvm->arch.default_tsc_khz); in kvm_arch_vm_ioctl()9418 kvm_set_tsc_khz(vcpu, vcpu->kvm->arch.default_tsc_khz); in kvm_arch_vcpu_create()9888 kvm->arch.default_tsc_khz = max_tsc_khz ? : tsc_khz; in kvm_arch_init_vm()
2321 if (WARN_ON_ONCE(!kvm->arch.default_tsc_khz)) in snp_launch_start()2324 start.desired_tsc_khz = kvm->arch.default_tsc_khz; in snp_launch_start()
2458 td_params->tsc_frequency = TDX_TSC_KHZ_TO_25MHZ(kvm->arch.default_tsc_khz); in setup_tdparams()