TBD

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

Author: bchalios

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

@@ -142,10 +142,12 @@ impl GICv3 {
             fd: 0,
             flags: 0,
         };
+        assert_eq!(kvm_bindings::kvm_device_type_KVM_DEV_TYPE_ARM_VGIC_ITS, 8);
+        assert_eq!(kvm_bindings::KVM_DEV_ITS_ADDR_TYPE);
 
         let msi_address = Self::get_msi_address(gic_device.vcpu_count());
         info!(
-            "MSI address for VM with {} vCPUs: {msi_address:x#}",
+            "MSI address for VM with {} vCPUs: {msi_address:#x}",
             gic_device.vcpu_count()
         );