Index: kernel/genarch/include/genarch/drivers/dsrln/dsrlnout.h
===================================================================
--- kernel/genarch/include/genarch/drivers/dsrln/dsrlnout.h	(revision a773b8b018e3509e70f093d1ff08a0946b7dfe40)
+++ kernel/genarch/include/genarch/drivers/dsrln/dsrlnout.h	(revision 045186b0aef93f3aa6d7952248a1db55a0c08b5e)
@@ -39,7 +39,8 @@
 
 #include <typedefs.h>
+#include <stdint.h>
 #include <console/chardev.h>
 
-extern outdev_t *dsrlnout_init(ioport8_t *);
+extern outdev_t *dsrlnout_init(ioport8_t *, uintptr_t);
 
 #endif