libsel4vm: Proper error for map_vm_memory_res

Currently, if the map_iterator function fails to find a frame for a
given address, then it breaks from the loop, but it does not return an
error and marks the reservation as mapped. Since it skipped some number
of reservations, that is not true and an error should be returned
instead.

Signed-off-by: Robbie VanVossen <[email protected]>

libsel4vm/src/guest_memory.c

@@ -475,7 +475,7 @@ int map_vm_memory_reservation(vm_t *vm, vm_memory_reservation_t *vm_reservation,
         vm_frame_t reservation_frame = map_iterator(current_addr, map_cookie);
         if (reservation_frame.cptr == seL4_CapNull) {
             ZF_LOGE("Failed to get frame for reservation address 0x%lx", current_addr);
-            break;
+            return -1;
         }
         int ret = vspace_deferred_rights_map_pages_at_vaddr(&vm->mem.vm_vspace, &reservation_frame.cptr, NULL,
                                                             (void *)reservation_frame.vaddr, 1, reservation_frame.size_bits,