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, 8);
 
         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()