Index: kernel/generic/include/adt/hash_table.h
===================================================================
--- kernel/generic/include/adt/hash_table.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/generic/include/adt/hash_table.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -84,6 +84,6 @@
 	member_to_inst((item), type, member)
 
-extern bool hash_table_create(hash_table_t *, size_t, size_t, 
-	hash_table_ops_t *);
+extern bool hash_table_create(hash_table_t *, size_t, size_t,
+    hash_table_ops_t *);
 extern void hash_table_destroy(hash_table_t *);
 
@@ -98,6 +98,6 @@
 extern size_t hash_table_remove(hash_table_t *, void *);
 extern void hash_table_remove_item(hash_table_t *, ht_link_t *);
-extern void hash_table_apply(hash_table_t *, bool (*)(ht_link_t *, void *), 
-	void *);
+extern void hash_table_apply(hash_table_t *, bool (*)(ht_link_t *, void *),
+    void *);
 
 
Index: kernel/generic/include/align.h
===================================================================
--- kernel/generic/include/align.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/generic/include/align.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -58,5 +58,5 @@
  * @param s Address or size to be checked for alignment.
  * @param a Size of alignment, must be a power of 2.
- */ 
+ */
 #define IS_ALIGNED(s, a)	(ALIGN_UP((s), (a)) == (s))
 
Index: kernel/generic/include/arch.h
===================================================================
--- kernel/generic/include/arch.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/generic/include/arch.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -80,9 +80,9 @@
 
 typedef struct {
-	void (* pre_mm_init)(void);
-	void (* post_mm_init)(void);
-	void (* post_cpu_init)(void);
-	void (* pre_smp_init)(void);
-	void (* post_smp_init)(void);
+	void (*pre_mm_init)(void);
+	void (*post_mm_init)(void);
+	void (*post_cpu_init)(void);
+	void (*pre_smp_init)(void);
+	void (*post_smp_init)(void);
 } arch_ops_t;
 
Index: kernel/generic/include/gsort.h
===================================================================
--- kernel/generic/include/gsort.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/generic/include/gsort.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -39,5 +39,5 @@
 #include <stddef.h>
 
-typedef int (* sort_cmp_t)(void *, void *, void *);
+typedef int (*sort_cmp_t)(void *, void *, void *);
 
 extern bool gsort(void *, size_t, size_t, sort_cmp_t, void *);
Index: kernel/generic/include/ipc/sysipc_ops.h
===================================================================
--- kernel/generic/include/ipc/sysipc_ops.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/generic/include/ipc/sysipc_ops.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -90,5 +90,5 @@
 	 * Invoked on:		all calls
 	 */
-	errno_t (* request_preprocess)(call_t *, phone_t *);
+	errno_t (*request_preprocess)(call_t *, phone_t *);
 
 	/**
@@ -101,6 +101,6 @@
 	 *			_ipc_answer_free_call()
 	 * Invoked on:		all forgotten calls
-	 */	
-	errno_t (* request_forget)(call_t *);
+	 */
+	errno_t (*request_forget)(call_t *);
 
 	/**
@@ -111,6 +111,6 @@
 	 * Races with:		request_forget()
 	 * Invoked on:		all calls delivered to the callee
-	 */	
-	int (* request_process)(call_t *, answerbox_t *);
+	 */
+	int (*request_process)(call_t *, answerbox_t *);
 
 	/**
@@ -123,5 +123,5 @@
 	 * Invoked on:		all forgotten calls
 	 */
-	errno_t (* answer_cleanup)(call_t *, ipc_data_t *);
+	errno_t (*answer_cleanup)(call_t *, ipc_data_t *);
 
 	/**
@@ -134,5 +134,5 @@
 	 * Invoked on:		all answered calls
 	 */
-	errno_t (* answer_preprocess)(call_t *, ipc_data_t *);
+	errno_t (*answer_preprocess)(call_t *, ipc_data_t *);
 
 	/**
@@ -144,5 +144,5 @@
 	 * Invoked on:		all answered calls
 	 */
-	errno_t (* answer_process)(call_t *);
+	errno_t (*answer_process)(call_t *);
 } sysipc_ops_t;
 
Index: kernel/generic/include/mm/page.h
===================================================================
--- kernel/generic/include/mm/page.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/generic/include/mm/page.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -46,9 +46,9 @@
 /** Operations to manipulate page mappings. */
 typedef struct {
-	void (* mapping_insert)(as_t *, uintptr_t, uintptr_t, unsigned int);
-	void (* mapping_remove)(as_t *, uintptr_t);
-	bool (* mapping_find)(as_t *, uintptr_t, bool, pte_t *);
-	void (* mapping_update)(as_t *, uintptr_t, bool, pte_t *);
-	void (* mapping_make_global)(uintptr_t, size_t);
+	void (*mapping_insert)(as_t *, uintptr_t, uintptr_t, unsigned int);
+	void (*mapping_remove)(as_t *, uintptr_t);
+	bool (*mapping_find)(as_t *, uintptr_t, bool, pte_t *);
+	void (*mapping_update)(as_t *, uintptr_t, bool, pte_t *);
+	void (*mapping_make_global)(uintptr_t, size_t);
 } page_mapping_operations_t;
 
Index: kernel/generic/include/stacktrace.h
===================================================================
--- kernel/generic/include/stacktrace.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/generic/include/stacktrace.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -49,8 +49,8 @@
 
 typedef struct {
-	bool (* stack_trace_context_validate)(stack_trace_context_t *);
-	bool (* frame_pointer_prev)(stack_trace_context_t *, uintptr_t *);
-	bool (* return_address_get)(stack_trace_context_t *, uintptr_t *);
-	bool (* symbol_resolve)(uintptr_t, const char **, uintptr_t *);
+	bool (*stack_trace_context_validate)(stack_trace_context_t *);
+	bool (*frame_pointer_prev)(stack_trace_context_t *, uintptr_t *);
+	bool (*return_address_get)(stack_trace_context_t *, uintptr_t *);
+	bool (*symbol_resolve)(uintptr_t, const char **, uintptr_t *);
 } stack_trace_ops_t;
 
Index: kernel/generic/include/symtab.h
===================================================================
--- kernel/generic/include/symtab.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/generic/include/symtab.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -40,5 +40,5 @@
 
 extern void symtab_print_search(const char *);
-extern const char* symtab_hints_enum(const char *, const char **, void **);
+extern const char *symtab_hints_enum(const char *, const char **, void **);
 
 #endif
Index: kernel/generic/include/synch/condvar.h
===================================================================
--- kernel/generic/include/synch/condvar.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/generic/include/synch/condvar.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -65,7 +65,7 @@
     int flags);
 extern errno_t _condvar_wait_timeout_spinlock_impl(condvar_t *cv, spinlock_t *lock,
-	uint32_t usec, int flags);
+    uint32_t usec, int flags);
 extern errno_t _condvar_wait_timeout_irq_spinlock(condvar_t *cv,
-	irq_spinlock_t *irq_lock, uint32_t usec, int flags);
+    irq_spinlock_t *irq_lock, uint32_t usec, int flags);
 
 
Index: kernel/generic/include/synch/workqueue.h
===================================================================
--- kernel/generic/include/synch/workqueue.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/generic/include/synch/workqueue.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -64,5 +64,5 @@
 extern bool workq_global_enqueue(work_t *, work_func_t);
 
-extern struct work_queue * workq_create(const char *);
+extern struct work_queue *workq_create(const char *);
 extern void workq_destroy(struct work_queue *);
 extern bool workq_init(struct work_queue *, const char *);
Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/generic/include/typedefs.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -43,5 +43,5 @@
 } atomic_t;
 
-typedef void (* function)(void);
+typedef void (*function)(void);
 
 typedef uint32_t container_id_t;