TBD

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

Author: bchalios

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

@@ -143,9 +143,10 @@ impl GICv3 {
             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);
+        assert_eq!(kvm_bindings::KVM_VGIC_ITS_ADDR_TYPE, 4);
 
         let msi_address = Self::get_msi_address(gic_device.vcpu_count());
+        assert_eq!(msi_address % 0x10000, 0);
         info!(
             "MSI address for VM with {} vCPUs: {msi_address:#x}",
             gic_device.vcpu_count()
@@ -162,7 +163,8 @@ impl GICv3 {
             u64::from(kvm_bindings::KVM_VGIC_ITS_ADDR_TYPE),
             Self::get_msi_address(gic_device.vcpu_count()) as *const u64 as u64,
             0,
-        )?;
+        )
+        .inspect_err(|err| info!("setting ITS address failed: {err:#?}"))?;
 
         Self::set_device_attribute(
             &its_fd,