From de6c65c45333832b41fbe39fddae2afac8bb2c6e Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 11 Feb 2022 13:44:23 +0100
Subject: [PATCH] sd_card/pl180: remove unused code

---
 repos/os/src/drivers/sd_card/pl180/driver.h | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/repos/os/src/drivers/sd_card/pl180/driver.h b/repos/os/src/drivers/sd_card/pl180/driver.h
index bf1f342f79..669b96c221 100644
--- a/repos/os/src/drivers/sd_card/pl180/driver.h
+++ b/repos/os/src/drivers/sd_card/pl180/driver.h
@@ -118,19 +118,6 @@ class Sd_card::Driver : public  Block::Driver,
 		size_t          const _block_size  = 512;
 		Block::sector_t const _block_count = 0x20000000 / _block_size;
 
-		Dataspace_capability _io_mem_ds(Platform::Connection &platform)
-		{
-			using Device = Platform::Device_interface;
-
-			Capability<Device> device_cap = platform.acquire_device();
-
-			Device::Range range { };
-			Io_mem_session_client io_mem {
-				device_cap.call<Device::Rpc_io_mem>(1, range, UNCACHED) };
-
-			return io_mem.dataspace();
-		}
-
 	public:
 
 		Driver(Env &env, Platform::Connection & platform);