diff --git a/repos/os/include/virtio/queue.h b/repos/os/include/virtio/queue.h index f291de9581..a4df06a523 100644 --- a/repos/os/include/virtio/queue.h +++ b/repos/os/include/virtio/queue.h @@ -415,7 +415,7 @@ class Virtio::Queue Genode::size_t len = 0; if (data != nullptr && data_size > 0) { - Genode::size_t len = Genode::min(_buffer_size - sizeof(header), data_size); + len = Genode::min(_buffer_size - sizeof(header), data_size); Genode::memcpy((char *)_buffer_local_addr(desc) + desc->len, data, len); desc->len += len; len = data_size + sizeof(header) - desc->len;