@@ -13,16 +13,6 @@
#ifndef HW_KVM_CLOCK_H
#define HW_KVM_CLOCK_H
-#ifdef CONFIG_KVM
-
void kvmclock_create(bool create_always);
-#else /* CONFIG_KVM */
-
-static inline void kvmclock_create(bool create_always)
-{
-}
-
-#endif /* !CONFIG_KVM */
-
#endif
@@ -332,8 +332,10 @@ void kvmclock_create(bool create_always)
{
X86CPU *cpu = X86_CPU(first_cpu);
- if (!kvm_enabled() || !kvm_has_adjust_clock())
+ assert(kvm_enabled());
+ if (!kvm_has_adjust_clock()) {
return;
+ }
if (create_always ||
cpu->env.features[FEAT_KVM] & ((1ULL << KVM_FEATURE_CLOCKSOURCE) |
@@ -180,7 +180,9 @@ static void microvm_devices_init(MicrovmMachineState *mms)
x86ms->ioapic2 = ioapic_init_secondary(gsi_state);
}
- kvmclock_create(true);
+ if (kvm_enabled()) {
+ kvmclock_create(true);
+ }
mms->virtio_irq_base = 5;
mms->virtio_num_transports = 8;
@@ -192,7 +192,7 @@ static void pc_init1(MachineState *machine,
pc_machine_init_sgx_epc(pcms);
x86_cpus_init(x86ms, pcmc->default_cpu_version);
- if (pcmc->kvmclock_enabled) {
+ if (kvm_enabled() && pcmc->kvmclock_enabled) {
kvmclock_create(pcmc->kvmclock_create_always);
}
@@ -183,7 +183,9 @@ static void pc_q35_init(MachineState *machine)
pc_machine_init_sgx_epc(pcms);
x86_cpus_init(x86ms, pcmc->default_cpu_version);
- kvmclock_create(pcmc->kvmclock_create_always);
+ if (kvm_enabled()) {
+ kvmclock_create(pcmc->kvmclock_create_always);
+ }
/* pci enabled */
if (pcmc->pci_enabled) {