From c9194a2af415f803852b1c3cf8f64904767cf2fc Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sun, 15 Sep 2013 17:33:07 +0200
Subject: [PATCH] attached_mmio: Support sub-page MMIO resources

---
 os/include/os/attached_mmio.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/os/include/os/attached_mmio.h b/os/include/os/attached_mmio.h
index 5711cbb942..1879cc0e13 100644
--- a/os/include/os/attached_mmio.h
+++ b/os/include/os/attached_mmio.h
@@ -49,7 +49,7 @@ namespace Genode
 			Attached_mmio(addr_t base, size_t size,
 			              bool write_combined = false)
 			: Attached_io_mem_dataspace(base, size, write_combined),
-			  Mmio((addr_t)local_addr<void>()) { }
+			  Mmio((addr_t)local_addr<void>() | (base & 0xfff)) { }
 	};
 }