Index: kernel/genarch/include/drivers/ns16550/ns16550.h
===================================================================
--- kernel/genarch/include/drivers/ns16550/ns16550.h	(revision 3c79afe6675938ba3639db7d31f8a682457f7203)
+++ kernel/genarch/include/drivers/ns16550/ns16550.h	(revision 99d6fd07a4e12eb667d2cfa2d3fdb3b5f63800b2)
@@ -69,5 +69,5 @@
 } ns16550_instance_t;
 
-extern indev_t *ns16550_init(ns16550_t *, devno_t, inr_t, cir_t, void *)
+extern indev_t *ns16550_init(ns16550_t *, devno_t, inr_t, cir_t, void *);
 
 #endif