Index: kernel/arch/arm32/src/drivers/gxemul.c
===================================================================
--- kernel/arch/arm32/src/drivers/gxemul.c	(revision 516ff92eec3001ee20baaf6f01de87b1ffef0b48)
+++ kernel/arch/arm32/src/drivers/gxemul.c	(revision 8a72a9ab5a133d8b33aa20a89b8d996a84ba6d60)
@@ -73,5 +73,5 @@
 static void gxemul_kbd_enable(chardev_t *dev);
 static void gxemul_kbd_disable(chardev_t *dev);
-static void gxemul_write(chardev_t *dev, const char ch);
+static void gxemul_write(chardev_t *dev, const char ch, bool silent);
 static char gxemul_do_read(chardev_t *dev);