Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision 1ab3c4b698c08d84c77675ba474ca8dfd5164dbc)
+++ kernel/arch/ia32/src/ia32.c	(revision 448e09355a75d0500783c5c4c45bc7956c01118d)
@@ -201,5 +201,5 @@
 #endif
 	ns16550_instance_t *ns16550_instance
-	    = ns16550_init((ns16550_t *) NS16550_BASE, IRQ_NS16550, NULL, NULL,
+	    = ns16550_init(NS16550_BASE, 0, IRQ_NS16550, NULL, NULL,
 	    ns16550_out_ptr);
 	if (ns16550_instance) {