From 62303d8c33ccbeb4c7e71402e1bccc4dea33837f Mon Sep 17 00:00:00 2001
From: Rob Bradford <rbradford@rivosinc.com>
Date: Mon, 13 Jan 2025 16:41:14 +0000
Subject: [PATCH] arch: x86_64: Log the cpuid per vCPU

This will aid debugging issues related to CPUID.

Signed-off-by: Rob Bradford <rbradford@rivosinc.com>
---
 arch/src/x86_64/mod.rs | 4 ++++
 1 file changed, 4 insertions(+)

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()))?;