Index: kernel/arch/ia64/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia64/src/proc/scheduler.c	(revision 2277e03b97a6950736870a381ad825874af27449)
+++ kernel/arch/ia64/src/proc/scheduler.c	(revision e0a4686ebb68dd7d42dd083c5ea6c37d6ced027d)
@@ -54,5 +54,5 @@
 {
 	uintptr_t base;
-	
+
 	base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
 
@@ -63,8 +63,8 @@
 		 * Use DTR[TR_KSTACK1] and DTR[TR_KSTACK2] to map it.
 		 */
-		 
+
 		/* purge DTR[TR_STACK1] and DTR[TR_STACK2] */
 		dtr_purge((uintptr_t) THREAD->kstack, PAGE_WIDTH+1);
-		
+
 		/* insert DTR[TR_STACK1] and DTR[TR_STACK2] */
 		dtlb_kernel_mapping_insert((uintptr_t) THREAD->kstack,
@@ -74,5 +74,5 @@
 		    DTR_KSTACK2);
 	}
-	
+
 	/*
 	 * Record address of kernel backing store to bank 0 r22.