Index: kernel/generic/include/synch/condvar.h
===================================================================
--- kernel/generic/include/synch/condvar.h	(revision b7fd2a02e4161f4edd38548e7f8456b8021549be)
+++ kernel/generic/include/synch/condvar.h	(revision 663b26ec6c1b72234946b558186b76ec2fd3f3d8)
@@ -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 b7fd2a02e4161f4edd38548e7f8456b8021549be)
+++ kernel/generic/include/synch/workqueue.h	(revision 663b26ec6c1b72234946b558186b76ec2fd3f3d8)
@@ -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 *);