diff --git a/arch/src/x86_64/mod.rs b/arch/src/x86_64/mod.rs index fda577156..87d3d1430 100644 --- a/arch/src/x86_64/mod.rs +++ b/arch/src/x86_64/mod.rs @@ -887,6 +887,10 @@ pub fn configure_vcpu( } } + for c in &cpuid { + info!("{}", c); + } + vcpu.set_cpuid2(&cpuid) .map_err(|e| Error::SetSupportedCpusFailed(e.into()))?;