TBD

Signed-off-by: Babis Chalios <[email protected]>

Author: bchalios

src/vmm/src/arch/aarch64/gic/gicv3/mod.rs

@@ -6,6 +6,7 @@ mod regs;
 use kvm_ioctls::{DeviceFd, VmFd};
 
 use crate::arch::aarch64::gic::{GicError, GicState};
+use crate::logger::info;
 
 #[derive(Debug)]
 pub struct GICv3(super::GIC);
@@ -142,6 +143,12 @@ impl GICv3 {
             flags: 0,
         };
 
+        let msi_address = Self::get_msi_address(gic_device.vcpu_count());
+        info!(
+            "MSI address for VM with {} vCPUs: {msi_address:x#}",
+            gic_device.vcpu_count()
+        );
+
         let its_fd = vm
             .create_device(&mut its_device)
             .map_err(GicError::CreateGIC)?;