|
@@ -192,7 +192,7 @@ static void pc_init1(MachineState *machine,
|
|
pc_machine_init_sgx_epc(pcms);
|
|
pc_machine_init_sgx_epc(pcms);
|
|
x86_cpus_init(x86ms, pcmc->default_cpu_version);
|
|
x86_cpus_init(x86ms, pcmc->default_cpu_version);
|
|
|
|
|
|
- if (pcmc->kvmclock_enabled) {
|
|
|
|
|
|
+ if (kvm_enabled() && pcmc->kvmclock_enabled) {
|
|
kvmclock_create(pcmc->kvmclock_create_always);
|
|
kvmclock_create(pcmc->kvmclock_create_always);
|
|
}
|
|
}
|
|
|
|
|