Index: kernel/arch/ia32/src/ddi/ddi.c
===================================================================
--- kernel/arch/ia32/src/ddi/ddi.c	(revision 6c383b0276be208b47b6cf306a8fcdbe62d15436)
+++ kernel/arch/ia32/src/ddi/ddi.c	(revision 74303b61a73a44cb65caa665693d31f85294478a)
@@ -76,5 +76,6 @@
 			return ENOMEM;
 		
-		bitmap_initialize(&oldiomap, task->arch.iomap.map, task->arch.iomap.bits);
+		bitmap_initialize(&oldiomap, task->arch.iomap.map,
+		    task->arch.iomap.bits);
 		bitmap_initialize(&task->arch.iomap, newmap, bits);
 
@@ -82,5 +83,6 @@
 		 * Mark the new range inaccessible.
 		 */
-		bitmap_set_range(&task->arch.iomap, oldiomap.bits, bits - oldiomap.bits);
+		bitmap_set_range(&task->arch.iomap, oldiomap.bits,
+		    bits - oldiomap.bits);
 
 		/*
@@ -89,5 +91,6 @@
 		 */		
 		if (oldiomap.bits) {
-			bitmap_copy(&task->arch.iomap, &oldiomap, oldiomap.bits);
+			bitmap_copy(&task->arch.iomap, &oldiomap,
+			    oldiomap.bits);
 			free(oldiomap.map);
 		}
@@ -129,9 +132,10 @@
 	
 		ASSERT(TASK->arch.iomap.map);
-		bitmap_initialize(&iomap, CPU->arch.tss->iomap, TSS_IOMAP_SIZE * 8);
+		bitmap_initialize(&iomap, CPU->arch.tss->iomap,
+		    TSS_IOMAP_SIZE * 8);
 		bitmap_copy(&iomap, &task->arch.iomap, task->arch.iomap.bits);
 		/*
-		 * It is safe to set the trailing eight bits because of the extra
-		 * convenience byte in TSS_IOMAP_SIZE.
+		 * It is safe to set the trailing eight bits because of the
+		 * extra convenience byte in TSS_IOMAP_SIZE.
 		 */
 		bitmap_set_range(&iomap, ALIGN_UP(TASK->arch.iomap.bits, 8), 8);
Index: kernel/arch/ia32/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia32/src/proc/scheduler.c	(revision 6c383b0276be208b47b6cf306a8fcdbe62d15436)
+++ kernel/arch/ia32/src/proc/scheduler.c	(revision 74303b61a73a44cb65caa665693d31f85294478a)
@@ -59,5 +59,6 @@
 void before_thread_runs_arch(void)
 {
-	CPU->arch.tss->esp0 = (uintptr_t) &THREAD->kstack[THREAD_STACK_SIZE-SP_DELTA];
+	CPU->arch.tss->esp0 = (uintptr_t) &THREAD->kstack[THREAD_STACK_SIZE -
+	    SP_DELTA];
 	CPU->arch.tss->ss0 = selector(KDATA_DES);
 
@@ -70,5 +71,5 @@
 		the_t *the = THE;
 		breakpoint_add(&((the_t *) the->thread->kstack)->as, 
-			BKPOINT_WRITE | BKPOINT_CHECK_ZERO, the->cpu->id);
+		    BKPOINT_WRITE | BKPOINT_CHECK_ZERO, the->cpu->id);
 	}
 #endif
