diff --git a/repos/os/src/server/vmm/virtio_gpu.h b/repos/os/src/server/vmm/virtio_gpu.h index c5db7da971..a984b079b1 100644 --- a/repos/os/src/server/vmm/virtio_gpu.h +++ b/repos/os/src/server/vmm/virtio_gpu.h @@ -371,8 +371,10 @@ class Vmm::Virtio_gpu_device : public Virtio_device .executable = false, .writeable = true }); - if (result.ok()) + if (result.ok()) { + attach_off += sz; break; + } using Error = Region_map::Attach_error; if (result == Error::OUT_OF_RAM) rm.upgrade_ram(8*1024); else if (result == Error::OUT_OF_CAPS) rm.upgrade_caps(2);