diff --git a/repos/os/src/drivers/platform/legacy/x86/pci_session_component.h b/repos/os/src/drivers/platform/legacy/x86/pci_session_component.h
index 764d2a291a..f50d1c9852 100644
--- a/repos/os/src/drivers/platform/legacy/x86/pci_session_component.h
+++ b/repos/os/src/drivers/platform/legacy/x86/pci_session_component.h
@@ -835,6 +835,9 @@ class Platform::Session_component : public Rpc_object<Session>
 			if (_env.pd().avail_ram().value < WATERMARK_RAM_QUOTA)
 				throw Out_of_ram();
 
+			if (!size)
+				return {};
+
 			Ram_dataspace_capability ram_cap = _env_ram.alloc(size, cache);
 			addr_t const dma_addr = _env.pd().dma_addr(ram_cap);