Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision b14e9749015dc827cece3b8dcf95af84a8bc87ad)
+++ kernel/arch/ia64/src/ia64.c	(revision 7a9ef817edf5a2d9985e515dc9b3bbc37af01fc3)
@@ -173,5 +173,6 @@
 #ifdef CONFIG_NS16550
 	ns16550_instance_t *ns16550_instance
-	    = ns16550_init((ns16550_t *) NS16550_BASE, NS16550_IRQ, NULL, NULL);
+	    = ns16550_init((ns16550_t *) NS16550_BASE, NS16550_IRQ, NULL, NULL,
+	    NULL);
 	if (ns16550_instance) {
 		srln_instance_t *srln_instance = srln_init();