From f4ac642f64863bac510bb4def18dbd4c49f56622 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Mon, 23 Nov 2020 17:14:53 +0100
Subject: [PATCH] platform_drv: reset pointer when releasing device

Ref #3956
---
 repos/os/src/drivers/platform/spec/arm/device.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/os/src/drivers/platform/spec/arm/device.cc b/repos/os/src/drivers/platform/spec/arm/device.cc
index ef2e9ccc30..d3d9d08beb 100644
--- a/repos/os/src/drivers/platform/spec/arm/device.cc
+++ b/repos/os/src/drivers/platform/spec/arm/device.cc
@@ -54,12 +54,14 @@ void Driver::Device::release(Session_component & sc)
 	_io_mem_list.for_each([&] (Io_mem & io_mem) {
 		if (io_mem.io_mem) {
 			destroy(sc.heap(), io_mem.io_mem);
+			io_mem.io_mem = nullptr;
 		}
 	});
 
 	_irq_list.for_each([&] (Irq & irq) {
 		if (irq.irq) {
 			destroy(sc.heap(), irq.irq);
+			irq.irq = nullptr;
 		}
 	});