diff --git a/repos/os/src/drivers/sd_card/imx/driver.h b/repos/os/src/drivers/sd_card/imx/driver.h
index 195b2a83de..d225708b59 100644
--- a/repos/os/src/drivers/sd_card/imx/driver.h
+++ b/repos/os/src/drivers/sd_card/imx/driver.h
@@ -29,6 +29,8 @@ class Sd_card::Driver : public  Driver_base,
                         private Platform::Device,
                         private Platform::Device::Mmio
 {
+	using Mmio = Genode::Mmio;
+
 	private:
 
 		enum Bus_width { BUS_WIDTH_1, BUS_WIDTH_4 };