cross_vm_connectors: Use dataport frame size

Also get rid of redundant 'size' field as it can be deduced from the number of frames and their size. Signed-off-by: Hannu Lyytinen <[email protected]>
seL4 · May 25, 2023 · d1d5f22 · d1d5f22
1 parent ac3727d
commit d1d5f22
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/components/Init/src/crossvm.c b/components/Init/src/crossvm.c
@@ -39,7 +39,7 @@ int cross_vm_connections_init(vm_t *vm, uintptr_t connection_base_addr, struct c
             return -1;
         }
         dataport_caps_handle_t *handle = connections[i].handle;
-        dp_handle->size = handle->get_size();
+        dp_handle->frame_size_bits = handle->get_frame_size_bits();
         dp_handle->num_frames = handle->get_num_frame_caps();
         dp_handle->frames = handle->get_frame_caps();
 

diff --git a/components/VM_Arm/src/crossvm.c b/components/VM_Arm/src/crossvm.c
@@ -31,7 +31,7 @@ static int setup_connection(crossvm_handle_t *crossvm_connections, size_t index,
     }
 
     dataport_caps_handle_t *handle = connection->handle;
-    dp_handle->size = handle->get_size();
+    dp_handle->frame_size_bits = handle->get_frame_size_bits();
     dp_handle->num_frames = handle->get_num_frame_caps();
     dp_handle->frames = handle->get_frame_caps();