Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 4b662f8c01914a3c25af983f9e3510fca9cbc9b9)
+++ kernel/generic/src/proc/scheduler.c	(revision ea6370458b7ba595ee9a33c78e3c1fe58ce1ac76)
@@ -208,5 +208,5 @@
 	interrupts_disable();
 	
-	for (i = 0; i<RQ_COUNT; i++) {
+	for (i = 0; i < RQ_COUNT; i++) {
 		r = &CPU->rq[i];
 		spinlock_lock(&r->lock);
@@ -452,5 +452,5 @@
 			 */
 			panic("tid%llu: unexpected state %s\n", THREAD->tid,
-				thread_states[THREAD->state]);
+			    thread_states[THREAD->state]);
 			break;
 		}
@@ -572,5 +572,5 @@
 	 * queues on all CPU's last.
 	 */
-	for (j= RQ_COUNT - 1; j >= 0; j--) {
+	for (j = RQ_COUNT - 1; j >= 0; j--) {
 		for (i = 0; i < config.cpu_active; i++) {
 			link_t *l;
@@ -613,6 +613,6 @@
 				spinlock_lock(&t->lock);
 				if ((!(t->flags & (THREAD_FLAG_WIRED |
-					THREAD_FLAG_STOLEN))) &&
-					(!(t->fpu_context_engaged)) ) {
+				    THREAD_FLAG_STOLEN))) &&
+				    (!(t->fpu_context_engaged))) {
 					/*
 					 * Remove t from r.