WIP: kani proofs

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

Author: bchalios

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

@@ -82,7 +82,7 @@ pub fn arch_memory_regions(offset: usize, size: usize) -> Vec<(GuestAddress, usi
     if let Some((offset, remaining)) = arch_memory_regions_with_gap(
         &mut regions,
         usize::try_from(layout::DRAM_MEM_START).unwrap() + offset,
-        size,
+        dram_size,
         u64_to_usize(layout::MMIO64_MEM_START),
         u64_to_usize(layout::MMIO64_MEM_SIZE),
     ) {