Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision b14e9749015dc827cece3b8dcf95af84a8bc87ad)
+++ kernel/arch/ia64/src/ia64.c	(revision 6d7d4f1f2f9192462d214ec25f01b0cb14a5f6aa)
@@ -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();