diff --git a/repos/os/src/drivers/acpi/memory.h b/repos/os/src/drivers/acpi/memory.h
index a721b7e563..94f71ff29a 100644
--- a/repos/os/src/drivers/acpi/memory.h
+++ b/repos/os/src/drivers/acpi/memory.h
@@ -107,6 +107,10 @@ class Acpi::Memory
 				_io_mem_list.remove(io_mem);
 				destroy(_heap, io_mem);
 			}
+
+			Genode::addr_t out_addr;
+			while (_range.any_block_addr(&out_addr))
+				_range.free((void *)out_addr);
 		}
 };