Remove some trailing whitespace.
authorMichael Taufen <mtaufen@gmail.com>
Thu, 11 Feb 2016 17:50:47 +0000 (09:50 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 26 Feb 2016 16:28:20 +0000 (11:28 -0500)
Signed-off-by: Michael Taufen <mtaufen@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/src/process.c
kern/src/trap.c

index cdb7b46..c428a8d 100644 (file)
@@ -572,7 +572,7 @@ static bool scp_is_vcctx_ready(struct preempt_data *vcpd)
 }
 
 /* Dispatches a _S process to run on the current core.  This should never be
- * called to "restart" a core.   
+ * called to "restart" a core.
  *
  * This will always return, regardless of whether or not the calling core is
  * being given to a process. (it used to pop the tf directly, before we had
@@ -1133,7 +1133,7 @@ void proc_yield(struct proc *p, bool being_nice)
                                 * WAITING.  one (or both) of us will see and make sure the proc
                                 * wakes up.  */
                                __proc_set_state(p, PROC_WAITING);
-                               wrmb(); /* don't let the state write pass the notif read */ 
+                               wrmb(); /* don't let the state write pass the notif read */
                                if (vcpd->notif_pending) {
                                        __proc_set_state(p, PROC_RUNNING_S);
                                        /* they can't handle events, just need to prevent a yield.
@@ -1575,7 +1575,7 @@ static void __proc_give_cores_running(struct proc *p, uint32_t *pc_arr,
        for (int i = 0; i < num; i++) {
                assert(__proc_give_a_pcore(p, pc_arr[i], &p->inactive_vcs, &vc_i));
                send_kernel_message(pc_arr[i], __startcore, (long)p,
-                                   (long)vcore2vcoreid(p, vc_i), 
+                                   (long)vcore2vcoreid(p, vc_i),
                                    (long)vc_i->nr_preempts_sent, KMSG_ROUTINE);
        }
        __seq_end_write(&p->procinfo->coremap_seqctr);
index 3ad2b31..636f54e 100644 (file)
@@ -291,7 +291,7 @@ void print_kmsgs(uint32_t coreid)
                STAILQ_FOREACH(kmsg_i, list, link) {
                        fn_name = get_fn_name((long)kmsg_i->pc);
                        printk("%s KMSG on %d from %d to run %p(%s)\n", type,
-                              kmsg_i->dstid, kmsg_i->srcid, kmsg_i->pc, fn_name); 
+                              kmsg_i->dstid, kmsg_i->srcid, kmsg_i->pc, fn_name);
                        kfree(fn_name);
                }
        }
@@ -333,7 +333,7 @@ void kmsg_queue_stat(void)
                        printk("\targ1: %p\n", kmsg->arg1);
                        printk("\targ2: %p\n", kmsg->arg2);
                }
-                       
+
        }
 }
 
@@ -341,7 +341,7 @@ void print_kctx_depths(const char *str)
 {
        uint32_t coreid = core_id();
        struct per_cpu_info *pcpui = &per_cpu_info[coreid];
-       
+
        if (!str)
                str = "(none)";
        printk("%s: Core %d, irq depth %d, ktrap depth %d, irqon %d\n", str, coreid,