Index: kernel/generic/include/console/chardev.h
===================================================================
--- kernel/generic/include/console/chardev.h	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/include/console/chardev.h	(revision 0a4667a7217b35601fca829679372413479e2c30)
@@ -55,8 +55,8 @@
 typedef struct {
 	/** Read character directly from device, assume interrupts disabled. */
-	wchar_t (* poll)(struct indev *);
+	wchar_t (*poll)(struct indev *);
 
 	/** Signal out-of-band condition. */
-	void (* signal)(struct indev *, indev_signal_t);
+	void (*signal)(struct indev *, indev_signal_t);
 } indev_operations_t;
 
@@ -82,14 +82,14 @@
 typedef struct {
 	/** Write character to output. */
-	void (* write)(struct outdev *, wchar_t);
+	void (*write)(struct outdev *, wchar_t);
 
 	/** Redraw any previously cached characters. */
-	void (* redraw)(struct outdev *);
+	void (*redraw)(struct outdev *);
 
 	/** Scroll up in the device cache. */
-	void (* scroll_up)(struct outdev *);
+	void (*scroll_up)(struct outdev *);
 
 	/** Scroll down in the device cache. */
-	void (* scroll_down)(struct outdev *);
+	void (*scroll_down)(struct outdev *);
 } outdev_operations_t;
 
Index: kernel/generic/include/console/kconsole.h
===================================================================
--- kernel/generic/include/console/kconsole.h	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/include/console/kconsole.h	(revision 0a4667a7217b35601fca829679372413479e2c30)
@@ -81,5 +81,5 @@
 	const char *description;
 	/** Function implementing the command. */
-	int (* func)(cmd_arg_t *);
+	int (*func)(cmd_arg_t *);
 	/** Number of arguments. */
 	size_t argc;
@@ -87,5 +87,5 @@
 	cmd_arg_t *argv;
 	/** Function for printing detailed help. */
-	void (* help)(void);
+	void (*help)(void);
 	/** Function for enumerating hints for arguments. */
 	hints_enum_func_t hints_enum;