Index: kernel/generic/include/adt/avl.h
===================================================================
--- kernel/generic/include/adt/avl.h	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/include/adt/avl.h	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -57,9 +57,8 @@
 typedef uint64_t avltree_key_t;
 
-typedef bool (* avltree_walker_t)(avltree_node_t *, void *);
+typedef bool (*avltree_walker_t)(avltree_node_t *, void *);
 
 /** AVL tree node structure. */
-struct avltree_node
-{
+struct avltree_node {
 	/**
 	 * Pointer to the left descendant of this node.
@@ -92,6 +91,5 @@
 
 /** AVL tree structure. */
-struct avltree
-{
+struct avltree {
 	/** AVL root node pointer */
 	struct avltree_node *root;
Index: kernel/generic/include/adt/cht.h
===================================================================
--- kernel/generic/include/adt/cht.h	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/include/adt/cht.h	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -134,5 +134,5 @@
 extern bool cht_create_simple(cht_t *h, cht_ops_t *op);
 extern bool cht_create(cht_t *h, size_t init_size, size_t min_size,
-	size_t max_load, bool can_block, cht_ops_t *op);
+    size_t max_load, bool can_block, cht_ops_t *op);
 extern void cht_destroy(cht_t *h);
 extern void cht_destroy_unsafe(cht_t *h);
Index: kernel/generic/include/bitops.h
===================================================================
--- kernel/generic/include/bitops.h	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/include/bitops.h	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -39,9 +39,9 @@
 
 #ifdef __32_BITS__
-	#define fnzb(arg)  fnzb32(arg)
+#define fnzb(arg)  fnzb32(arg)
 #endif
 
 #ifdef __64_BITS__
-	#define fnzb(arg)  fnzb64(arg)
+#define fnzb(arg)  fnzb64(arg)
 #endif
 
Index: kernel/generic/include/byteorder.h
===================================================================
--- kernel/generic/include/byteorder.h	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/include/byteorder.h	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -39,5 +39,5 @@
 
 #if !(defined(__BE__) ^ defined(__LE__))
-	#error The architecture must be either big-endian or little-endian.
+#error The architecture must be either big-endian or little-endian.
 #endif
 
Index: kernel/generic/include/console/chardev.h
===================================================================
--- kernel/generic/include/console/chardev.h	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/include/console/chardev.h	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -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 f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/include/console/kconsole.h	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -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;
Index: kernel/generic/include/ddi/irq.h
===================================================================
--- kernel/generic/include/ddi/irq.h	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/include/ddi/irq.h	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -57,8 +57,8 @@
 struct irq;
 
-typedef void (* irq_handler_t)(struct irq *);
+typedef void (*irq_handler_t)(struct irq *);
 
 /** Type for function used to clear the interrupt. */
-typedef void (* cir_t)(void *, inr_t);
+typedef void (*cir_t)(void *, inr_t);
 
 /** IPC notification config structure.
@@ -114,5 +114,5 @@
 	irq_trigger_t trigger;
 	/** Claim ownership of the IRQ. */
-	irq_ownership_t (* claim)(struct irq *);
+	irq_ownership_t (*claim)(struct irq *);
 	/** Handler for this IRQ and device. */
 	irq_handler_t handler;
Index: kernel/generic/include/interrupt.h
===================================================================
--- kernel/generic/include/interrupt.h	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/include/interrupt.h	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -47,5 +47,5 @@
 #include <arch/istate.h>
 
-typedef void (* iroutine_t)(unsigned int, istate_t *);
+typedef void (*iroutine_t)(unsigned int, istate_t *);
 
 typedef struct {
Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/include/mm/as.h	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -126,9 +126,9 @@
 
 typedef struct {
-	pte_t *(* page_table_create)(unsigned int);
-	void (* page_table_destroy)(pte_t *);
-	void (* page_table_lock)(as_t *, bool);
-	void (* page_table_unlock)(as_t *, bool);
-	bool (* page_table_locked)(as_t *);
+	pte_t *(*page_table_create)(unsigned int);
+	void (*page_table_destroy)(pte_t *);
+	void (*page_table_lock)(as_t *, bool);
+	void (*page_table_unlock)(as_t *, bool);
+	bool (*page_table_locked)(as_t *);
 } as_operations_t;
 
@@ -237,17 +237,17 @@
 /** Address space area backend structure. */
 typedef struct mem_backend {
-	bool (* create)(as_area_t *);
-	bool (* resize)(as_area_t *, size_t);
-	void (* share)(as_area_t *);
-	void (* destroy)(as_area_t *);
-
-	bool (* is_resizable)(as_area_t *);
-	bool (* is_shareable)(as_area_t *);
-
-	int (* page_fault)(as_area_t *, uintptr_t, pf_access_t);
-	void (* frame_free)(as_area_t *, uintptr_t, uintptr_t);
-
-	bool (* create_shared_data)(as_area_t *);
-	void (* destroy_shared_data)(void *);
+	bool (*create)(as_area_t *);
+	bool (*resize)(as_area_t *, size_t);
+	void (*share)(as_area_t *);
+	void (*destroy)(as_area_t *);
+
+	bool (*is_resizable)(as_area_t *);
+	bool (*is_shareable)(as_area_t *);
+
+	int (*page_fault)(as_area_t *, uintptr_t, pf_access_t);
+	void (*frame_free)(as_area_t *, uintptr_t, uintptr_t);
+
+	bool (*create_shared_data)(as_area_t *);
+	void (*destroy_shared_data)(void *);
 } mem_backend_t;
 
Index: kernel/generic/include/panic.h
===================================================================
--- kernel/generic/include/panic.h	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/include/panic.h	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -65,5 +65,5 @@
 
 extern void panic_common(panic_category_t, struct istate *, int,
-    uintptr_t, const char *, ...) __attribute__ ((noreturn))
+    uintptr_t, const char *, ...) __attribute__((noreturn))
     _HELENOS_PRINTF_ATTRIBUTE(5, 6);
 
Index: kernel/generic/include/synch/rcu.h
===================================================================
--- kernel/generic/include/synch/rcu.h	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/include/synch/rcu.h	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -113,5 +113,5 @@
 extern void rcu_cpu_init(void);
 extern void rcu_kinit_init(void);
-extern void rcu_thread_init(struct thread*);
+extern void rcu_thread_init(struct thread *);
 extern void rcu_thread_exiting(void);
 extern void rcu_after_thread_ran(void);
Index: kernel/generic/include/time/timeout.h
===================================================================
--- kernel/generic/include/time/timeout.h	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/include/time/timeout.h	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -40,5 +40,5 @@
 #include <stdint.h>
 
-typedef void (* timeout_handler_t)(void *arg);
+typedef void (*timeout_handler_t)(void *arg);
 
 typedef struct {
Index: kernel/generic/include/userspace.h
===================================================================
--- kernel/generic/include/userspace.h	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/include/userspace.h	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -40,5 +40,5 @@
 
 /** Switch to user-space (CPU user priviledge level) */
-extern void userspace(uspace_arg_t *uarg) __attribute__ ((noreturn));
+extern void userspace(uspace_arg_t *uarg) __attribute__((noreturn));
 
 #endif
Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/src/console/console.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -64,5 +64,5 @@
 
 /** Kernel log initialized */
-static atomic_t kio_inited = {false};
+static atomic_t kio_inited = { false };
 
 /** First kernel log characters */
Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/src/cpu/cpu.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -59,10 +59,11 @@
  *
  */
-void cpu_init(void) {
+void cpu_init(void)
+{
 #ifdef CONFIG_SMP
 	if (config.cpu_active == 1) {
 #endif /* CONFIG_SMP */
 
-		cpus = (cpu_t *) malloc(sizeof(cpu_t) * config.cpu_count,
+		cpus = (cpu_t *) malloc(sizeof(cpu_t) *config.cpu_count,
 		    FRAME_ATOMIC);
 		if (!cpus)
@@ -70,5 +71,5 @@
 
 		/* Initialize everything */
-		memsetb(cpus, sizeof(cpu_t) * config.cpu_count, 0);
+		memsetb(cpus, sizeof(cpu_t) *config.cpu_count, 0);
 
 		size_t i;
Index: kernel/generic/src/cpu/cpu_mask.c
===================================================================
--- kernel/generic/src/cpu/cpu_mask.c	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/src/cpu/cpu_mask.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -57,6 +57,6 @@
 
 	for (size_t active_word = 0;
-		(active_word + 1) * word_bit_cnt <= cpu_cnt;
-		++active_word) {
+	    (active_word + 1) * word_bit_cnt <= cpu_cnt;
+	    ++active_word) {
 		/* Set all bits in the cell/word. */
 		cpus->mask[active_word] = -1;
Index: kernel/generic/src/debug/symtab.c
===================================================================
--- kernel/generic/src/debug/symtab.c	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/src/debug/symtab.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -202,10 +202,10 @@
 
 /** Symtab completion enum, see kernel/generic/include/kconsole.h */
-const char* symtab_hints_enum(const char *input, const char **help,
+const char *symtab_hints_enum(const char *input, const char **help,
     void **ctx)
 {
 #ifdef CONFIG_SYMTAB
 	size_t len = str_length(input);
-	struct symtab_entry **entry = (struct symtab_entry**)ctx;
+	struct symtab_entry **entry = (struct symtab_entry **)ctx;
 
 	if (*entry == NULL)
Index: kernel/generic/src/lib/halt.c
===================================================================
--- kernel/generic/src/lib/halt.c	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/src/lib/halt.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -44,5 +44,5 @@
 
 /** Halt flag */
-atomic_t haltstate = {0};
+atomic_t haltstate = { 0 };
 
 /** Halt wrapper
Index: kernel/generic/src/lib/str.c
===================================================================
--- kernel/generic/src/lib/str.c	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/src/lib/str.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -115,7 +115,7 @@
 /** Check the condition if wchar_t is signed */
 #ifdef __WCHAR_UNSIGNED__
-	#define WCHAR_SIGNED_CHECK(cond)  (true)
+#define WCHAR_SIGNED_CHECK(cond)  (true)
 #else
-	#define WCHAR_SIGNED_CHECK(cond)  (cond)
+#define WCHAR_SIGNED_CHECK(cond)  (cond)
 #endif
 
Index: kernel/generic/src/lib/str_error.c
===================================================================
--- kernel/generic/src/lib/str_error.c	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/src/lib/str_error.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -47,5 +47,5 @@
 #define __errno_entry(name, num, desc) #name,
 
-static const char* err_name[] = {
+static const char *err_name[] = {
 #include <abi/errno.in>
 };
@@ -54,5 +54,5 @@
 #define __errno_entry(name, num, desc) "[" #name "]" desc,
 
-static const char* err_desc[] = {
+static const char *err_desc[] = {
 #include <abi/errno.in>
 };
Index: kernel/generic/src/main/version.c
===================================================================
--- kernel/generic/src/main/version.c	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/src/main/version.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -44,13 +44,13 @@
 
 #ifdef REVISION
-	static const char *revision = ", revision " STRING(REVISION);
+static const char *revision = ", revision " STRING(REVISION);
 #else
-	static const char *revision = "";
+static const char *revision = "";
 #endif
 
 #ifdef TIMESTAMP
-	static const char *timestamp = " on " STRING(TIMESTAMP);
+static const char *timestamp = " on " STRING(TIMESTAMP);
 #else
-	static const char *timestamp = "";
+static const char *timestamp = "";
 #endif
 
Index: kernel/generic/src/smp/smp_call.c
===================================================================
--- kernel/generic/src/smp/smp_call.c	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/src/smp/smp_call.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -122,5 +122,5 @@
  */
 void smp_call_async(unsigned int cpu_id, smp_call_func_t func, void *arg,
-	smp_call_t *call_info)
+    smp_call_t *call_info)
 {
 	/*
@@ -222,6 +222,6 @@
 
 	/* Walk the list manually, so that we can safely remove list items. */
-	for (link_t *cur = calls_list.head.next, *next = cur->next;
-		!list_empty(&calls_list); cur = next, next = cur->next) {
+	for (link_t * cur = calls_list.head.next, *next = cur->next;
+	    !list_empty(&calls_list); cur = next, next = cur->next) {
 
 		smp_call_t *call_info = list_get_instance(cur, smp_call_t, calls_link);
Index: kernel/generic/src/synch/condvar.c
===================================================================
--- kernel/generic/src/synch/condvar.c	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/src/synch/condvar.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -125,5 +125,5 @@
  */
 errno_t _condvar_wait_timeout_spinlock_impl(condvar_t *cv, spinlock_t *lock,
-	uint32_t usec, int flags)
+    uint32_t usec, int flags)
 {
 	errno_t rc;
@@ -162,5 +162,5 @@
  */
 errno_t _condvar_wait_timeout_irq_spinlock(condvar_t *cv, irq_spinlock_t *irq_lock,
-	uint32_t usec, int flags)
+    uint32_t usec, int flags)
 {
 	errno_t rc;
Index: kernel/generic/src/syscall/copy.c
===================================================================
--- kernel/generic/src/syscall/copy.c	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/src/syscall/copy.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -69,6 +69,6 @@
 	if (!KERNEL_ADDRESS_SPACE_SHADOWED) {
 		if (overlaps((uintptr_t) uspace_src, size,
-			KERNEL_ADDRESS_SPACE_START,
-			KERNEL_ADDRESS_SPACE_END - KERNEL_ADDRESS_SPACE_START)) {
+		    KERNEL_ADDRESS_SPACE_START,
+		    KERNEL_ADDRESS_SPACE_END - KERNEL_ADDRESS_SPACE_START)) {
 			/*
 			 * The userspace source block conflicts with kernel address space.
@@ -120,6 +120,6 @@
 	if (!KERNEL_ADDRESS_SPACE_SHADOWED) {
 		if (overlaps((uintptr_t) uspace_dst, size,
-			KERNEL_ADDRESS_SPACE_START,
-			KERNEL_ADDRESS_SPACE_END - KERNEL_ADDRESS_SPACE_START)) {
+		    KERNEL_ADDRESS_SPACE_START,
+		    KERNEL_ADDRESS_SPACE_END - KERNEL_ADDRESS_SPACE_START)) {
 			/*
 			 * The userspace destination block conflicts with kernel address space.
Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision f303afc69bfdfc798071487501f775a7c4d8c475)
+++ kernel/generic/src/syscall/syscall.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -88,5 +88,5 @@
 	} else {
 		log(LF_OTHER, LVL_ERROR,
-		    "Task %" PRIu64": Unknown syscall %#" PRIxn, TASK->taskid, id);
+		    "Task %" PRIu64 ": Unknown syscall %#" PRIxn, TASK->taskid, id);
 		task_kill_self(true);
 	}