From 3b977d4cf32ebc7dce32c38b1ebd09fefe18da85 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Sat, 25 Feb 2017 19:38:36 +0100
Subject: [PATCH] acpi: avoid warning about dangling allocations

like

Warning: XX dangling allocations at allocator destruction time

Fixes #2330
---
 repos/os/src/drivers/acpi/memory.h | 4 ++++
 1 file changed, 4 insertions(+)

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);
 		}
 };