Changes in kernel/arch/ia64/src/proc/scheduler.c [2277e03:a35b458] in mainline

File:

• kernel/arch/ia64/src/proc/scheduler.c (modified) (3 diffs)

kernel/arch/ia64/src/proc/scheduler.c

@@ -54 +54 @@
 {
         uintptr_t base;
-        
+
         base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
 
@@ -63 +63 @@
                  * 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 +74 @@
                     DTR_KSTACK2);
         }
-        
+
         /*
          * Record address of kernel backing store to bank 0 r22.