Index: kernel/genarch/src/drivers/ega/ega.c
===================================================================
--- kernel/genarch/src/drivers/ega/ega.c	(revision ae318d3535cba06a6996f270db31a961fae402ad)
+++ kernel/genarch/src/drivers/ega/ega.c	(revision 5c06c1c2c7f8ec08d0fbfca6238ce9e6285ef01c)
@@ -59,5 +59,5 @@
 static uint8_t *videoram;
 static uint8_t *backbuf;
-static ioport_t ega_base;
+static ioport8_t *ega_base;
 
 chardev_t ega_console;
@@ -132,5 +132,5 @@
 };
 
-void ega_init(ioport_t base, uintptr_t videoram_phys)
+void ega_init(ioport8_t *base, uintptr_t videoram_phys)
 {
 	/* Initialize the software structure. */